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

(34)

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

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)