scientific article; zbMATH DE number 1927555

MaRDI QIDQ4484479zbMATH OpenFDO

Authors Julian Bradfield

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210098.htm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• A modal temporal predicate calculus
• Modal and temporal logics for abstract space-time structures
• scientific article; zbMATH DE number 515372
• A functional approach for temporal \(\times\) modal logics
• Modal logics and mu-calculi: An introduction
• scientific article; zbMATH DE number 3855066
• scientific article; zbMATH DE number 1536571
• Modal and temporal extensions of non-distributive propositional logics
• Temporalizing modal epistemic logic
• Temporal aspects of the modal logic of subset spaces

Cited in

(5)

• Modal logics and mu-calculi: An introduction
• Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity
• Effective cut-elimination for a fragment of modal mu-calculus
• Stable Models for Temporal Theories
• Logic for Programming, Artificial Intelligence, and Reasoning

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 Q4484479)