Resolution-based calculi for modal and temporal logics
From MaRDI portal
Publication:4647550
DOI10.1007/3-540-61511-3_116zbMATH Open1415.03026OpenAlexW2167789485MaRDI QIDQ4647550FDOQ4647550
Authors: Andreas Nonnengart 
Publication date: 15 January 2019
Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61511-3_116
Recommendations
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cut-free sequent and tableau systems for propositional Diodorean modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal Theorem Proving: An Equational Viewpoint
- Resolution-based calculi for modal and temporal logics
- Semantics-Based Translation Methods for Modal Logics
- Title not available (Why is that?)
Cited In (15)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Clausal resolution in a logic of rational agency
- Resolution-based methods for modal logics
- A resolution-based calculus for preferential logics
- Title not available (Why is that?)
- Resolution-based calculi for modal and temporal logics
- Title not available (Why is that?)
- Automated theorem proving in temporal logic: \(T\)-resolution
- A Modal-Layered Resolution Calculus for K
- Completeness of hyper-resolution via the semantics of disjunctive logic programs
- A modal temporal predicate calculus
- Search strategies for resolution in temporal logics
- Resolution for temporal logics of knowledge
- Title not available (Why is that?)
This page was built for publication: Resolution-based calculi for modal and temporal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647550)
