Temporal Logics

DOI10.1017/9781009170093MaRDI QIDQ6165037zbMATH OpenOpenAlexFDO

Authors Valentin Goranko

Publication date 31 July 2023

Full work available at URL https://doi.org/10.1017/9781009170093

zbMATH Keywords

(none given)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1749195
• Temporal logic. From ancient ideas to artificial intelligence
• Publication:4733377
• scientific article; zbMATH DE number 747023
• scientific article; zbMATH DE number 830431

Cited in

(33)

• scientific article; zbMATH DE number 4108727 (Why is no real title available?)
• scientific article; zbMATH DE number 218548 (Why is no real title available?)
• Temporal Assertions with Parametrized Propositions
• Embedding the Calendar and Time Type System in Temporal Type Theory
• scientific article; zbMATH DE number 4182845 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• Asymptotic behaviour in temporal logic
• scientific article; zbMATH DE number 1301761 (Why is no real title available?)
• scientific article; zbMATH DE number 6125205 (Why is no real title available?)
• Temporal theories of reasoning
• Semantics of temporal classes
• scientific article; zbMATH DE number 4081516 (Why is no real title available?)
• Timing in music and modal temporal logic
• Logical consecutions in discrete linear temporal logic
• Temporal Logic
• Permanence vs. termination
• scientific article; zbMATH DE number 4119592 (Why is no real title available?)
• Temporal logic with recursion
• Temporal logic and state systems
• Formal Modeling and Analysis of Timed Systems
• Two-dimensional Kripke semantics i: presheaves
• Unified temporal logic
• Alternative semantics for temporal logics
• Temporal landscapes: a graphical logic of behavior
• An epistemic perspective on subjective and objective time
• A temporal logic for sortals
• scientific article; zbMATH DE number 6787711 (Why is no real title available?)
• A really temporal logic
• On bisimilarity for quasi-discrete closure spaces
• Resolution for temporal logics of knowledge
• Decidable temporal and sequential relevant logics*
• scientific article; zbMATH DE number 1271171 (Why is no real title available?)
• Substructure Temporal Logic

This page was built for publication: Temporal Logics

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