- Tytuł:
- Tableaux approach for contact logics interpreted over intervals
- Autorzy:
- Özdemir, Zafer
- Tematy:
-
contact logics interpreted over intervals
tableaux approach
decision procedures - Pokaż więcej
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Powiązania:
- https://bibliotekanauki.pl/articles/61521248.pdf Link otwiera się w nowym oknie
- Opis:
- Contact logics are modal logic that is developed for reasoning about region-based theories of space. We develope a tableaux approach for contact logics interpreted over intervals (CLIOI) on the reals. For obtaining sound and complete tableaux-based decision procedures, the main technical tool is the semantic tableaux approach. We use intensively the following concepts: tableaux methods, termination of tableaux methods, saturated tableaux, termination theorem, soundness theorem, truth lemma, and completeness theorem.
- Dostawca treści:
- Biblioteka Nauki
Artykuł