On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic

DOI10.3233/FI-2013-842zbMath1432.03030OpenAlexW1585127735MaRDI QIDQ2841956

Marianna Nicolosi-Asmundo, Domenico Cantone

Publication date: 30 July 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-842

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items

Web ontology representation and reasoning via fragments of set theory, An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$, Unnamed Item, The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations, A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×, An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆