Tableaux approach for contact logics interpreted over intervals

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...

Full description

Saved in:
Bibliographic Details
Published inReports on mathematical logic Vol. 58; no. 58; pp. 3 - 13
Main Author Özdemir, Zafer
Format Journal Article
LanguageEnglish
Published Kraków Wydawnictwo Uniwersytetu Jagiellońskiego 2023
Jagiellonian University Press
Jagiellonian University-Jagiellonian University Press
Subjects
Boolean
Economy
Intervals
Language
Semantics
Theorems
decision procedures
Contact logics interpreted over intervals
tableaux approach
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0137-2904
2084-2589
DOI:10.4467/20842589RM.23.001.18800