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

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

Domenico Cantone, Marianna Nicolosi-Asmundo

Publication date: 30 July 2013

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

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences