Two decision problems in Contact Logics

, &
Logic Journal of the IGPL 27 (1):8-32 (2019)
  Copy   BIBTEX

Abstract

Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science. In this paper, we focus our attention on reasoning methods for Contact Logics and address the satisfiability problem and the unifiability problem. Firstly, we give sound and complete tableaux-based decision procedures in Contact Logics and we obtain new results about the decidability/complexity of the satisfiability problem in these logics. Secondly, we address the computability of the unifiability problem in Contact Logics and we obtain new results about the unification type of the unifiability problem in these logics.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy016

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.Linh Anh Nguyen & Andrzej Szałas - 2011 - Studia Logica 98 (3):387-428.
Unifiability in extensions of K4.Çiğdem Gencer & Dick de Jongh - 2009 - Logic Journal of the IGPL 17 (2):159-172.
Logics for extended distributive contact lattices.T. Ivanova - 2018 - Journal of Applied Non-Classical Logics 28 (1):140-162.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.
Products, or how to create modal logics of high complexity.M. Marx & S. Mikulás - 2001 - Logic Journal of the IGPL 9 (1):71-82.
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234-253.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Semantic Decision Procedures for Some Relevant Logics.Ross Brady - 2003 - Australasian Journal of Logic 1:4-27.
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 80--96.
On completeness of intermediate predicate logics with respect to {K}ripke semantics.T. Shimura - 1995 - Bulletin of the Section of Logic 24:41-45.
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation.Enrico Giunchiglia, Roberto Sebastiani, Fausto Giunchiglia & Armando Tacchella - 2000 - Journal of Applied Non-Classical Logics 10 (2):145-172.
Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.
Deciding Unifiability and Computing Local Unifiers in the Description Logic $mathcal{E!L}$ without Top Constructor.Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt & Barbara Morawska - 2016 - Notre Dame Journal of Formal Logic 57 (4):443-476.

Analytics

Added to PP
2019-07-09

Downloads
19 (#798,463)

6 months
9 (#307,343)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.

View all 10 references / Add more references