Resolution-based calculi for modal and temporal logics

DOI10.1007/3-540-61511-3_116zbMath1415.03026OpenAlexW2167789485MaRDI QIDQ4647550

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 logicinference ruletemporal logicinference systempredicate symbol

Mathematics Subject Classification ID

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

Related Items (3)

Resolution-based calculi for modal and temporal logics ⋮ Completeness of hyper-resolution via the semantics of disjunctive logic programs ⋮ Clausal resolution in a logic of rational agency

Cites Work

• Cut-free sequent and tableau systems for propositional Diodorean modal logics
• Semantics-Based Translation Methods for Modal Logics
• Modal Theorem Proving: An Equational Viewpoint
• Resolution-based calculi for modal and temporal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Resolution-based calculi for modal and temporal logics