scientific article; zbMATH DE number 1538010

MaRDI QIDQ4518865zbMATH OpenFDO

Authors

Publication date 9 July 2001

zbMATH Keywords

combined logicsdecision proceduremodal logicnormal formsresolutiontemporal logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
• scientific article; zbMATH DE number 475184
• Combined temporal and modal logic. Completeness results for predicate logic languages
• Normal form expressions of propositional projection temporal logic
• scientific article; zbMATH DE number 3966022
• Normal forms in combinatory logic
• scientific article; zbMATH DE number 6287570
• scientific article; zbMATH DE number 4053579
• Modal and temporal extensions of non-distributive propositional logics
• A functional approach for temporal \(\times\) modal logics

Cited in

(2)

• Clausal resolution in a logic of rational agency
• Alternating automata and temporal logic normal forms

This page was built for publication:

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