Non-iterative modal resolution calculi

DOI10.1007/978-3-031-63501-4_6MaRDI QIDQ7034595zbMATH OpenFDO

Authors Dirk Pattinson, Cláudia Nalon

Publication date 31 January 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-63501-4_6

zbMATH Keywords

automated reasoningmodal logicsresolution

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A deontic logic framework allowing for factual detachment
• A Modal Logic for Coalitional Power in Games
• A sequent calculus and a theorem prover for standard conditional logics
• A simple deduction method for modal logic
• Clausal resolution for normal modal logics
• Foundations of Software Science and Computation Structures
• Generic Modal Cut Elimination Applied to Conditional Logics
• Gentzen-type systems, resolution and tableaux
• scientific article; zbMATH DE number 4018413 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 15881 (Why is no real title available?)
• scientific article; zbMATH DE number 1341615 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1538009 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• In so many possible worlds
• Intensional logics without iterative axioms
• Linear strategy for propositional modal resolution
• Modal logic
• Modal resolution in clausal form
• Probability logic for type spaces
• Resolution calculi for non-normal modal logics
• The recursive resolution method for modal logic

Cited in

(1)

• From modal sequent calculi to modal resolution

This page was built for publication: Non-iterative modal resolution calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034595)