Abstract
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.
Publisher
Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego
Reference14 articles.
1. 1. P. Balbiani, S. Kikot, Sahlqvist theorems for precontact logics, in: Advances in Modal Logic, Volume 9, College Publications 2012, pp. 55-70.
2. 2. P. Balbiani, T. Tinchev, De_nability and canonicity for Boolean logic with a binary relation, Fundamenta Informaticae 129 (2014), 301-327.
3. 3. P. Balbiani, T. Tinchev, D. Vakarelov, Modal logics for region-based theories of space, Fundamenta Informaticae 81 (2007), 29-82.
4. 4. P. Balbiani, T. Tinchev, D. Vakarelov, Dynamic logics of the region-based theory of discrete spaces, Journal of Applied Non-Classical Logics 17(1) (2007), 39-61.
5. 5. P. Blackburn, M. de Rijke, Y. Venema, Modal Logic, Cambridge University Press 2001.