A modal temporal predicate calculus

MaRDI QIDQ3067303zbMATH OpenFDO

Authors José M. Muñoz Quevedo

Publication date 21 January 2011

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 515372
• Resolution-based calculi for modal and temporal logics
• Temporal patterns and modal structure
• Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics
• scientific article; zbMATH DE number 1678387

Cited in

(11)

• Axiomatising the Prior future in predicate logic
• Stable Models for Temporal Theories
• Temporal Assertions with Parametrized Propositions
• scientific article; zbMATH DE number 4085608 (Why is no real title available?)
• scientific article; zbMATH DE number 515372 (Why is no real title available?)
• A propositional modal logic of time intervals
• Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity
• scientific article; zbMATH DE number 2079263 (Why is no real title available?)
• scientific article; zbMATH DE number 1927555 (Why is no real title available?)
• A Note on Chronological Logic
• scientific article; zbMATH DE number 2247701 (Why is no real title available?)

This page was built for publication: A modal temporal predicate calculus

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