scientific article; zbMATH DE number 1927555

zbMATH Open1012.68518MaRDI QIDQ4484479FDOQ4484479

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Stable Models for Temporal Theories
• Effective cut-elimination for a fragment of modal mu-calculus
• Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity
• Modal logics and mu-calculi: An introduction
• 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)