Resolution-based calculi for modal and temporal logics

DOI10.1007/3-540-61511-3_116MaRDI QIDQ4647550zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

modal logictemporal logicinference ruleinference systempredicate symbol

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 4055570
• Resolution-based methods for modal logics
• scientific article; zbMATH DE number 3932427
• First-order resolution methods for modal logics
• Modal Resolution

Cites work

• scientific article; zbMATH DE number 3898864 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1761430 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• Cut-free sequent and tableau systems for propositional Diodorean modal logics
• Modal Theorem Proving: An Equational Viewpoint
• Resolution-based calculi for modal and temporal logics
• Semantics-Based Translation Methods for Modal Logics

Cited in

(15)

• scientific article; zbMATH DE number 67448 (Why is no real title available?)
• scientific article; zbMATH DE number 1444729 (Why is no real title available?)
• Clausal resolution in a logic of rational agency
• Resolution-based methods for modal logics
• A resolution-based calculus for preferential logics
• scientific article; zbMATH DE number 510785 (Why is no real title available?)
• Resolution-based calculi for modal and temporal logics
• scientific article; zbMATH DE number 2053218 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)

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)