Temporal Logics
From MaRDI portal
Publication:6165037
DOI10.1017/9781009170093OpenAlexW4386515696MaRDI QIDQ6165037FDOQ6165037
Publication date: 31 July 2023
Full work available at URL: https://doi.org/10.1017/9781009170093
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Temporal logic (03B44)
Cited In (26)
- Temporal Assertions with Parametrized Propositions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Asymptotic behaviour in temporal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Temporal theories of reasoning
- Title not available (Why is that?)
- Semantics of temporal classes
- Timing in music and modal temporal logic
- Logical consecutions in discrete linear temporal logic
- Title not available (Why is that?)
- Temporal logic with recursion
- Formal Modeling and Analysis of Timed Systems
- Temporal logic and state systems
- Unified temporal logic
- Alternative semantics for temporal logics
- A temporal logic for sortals
- Title not available (Why is that?)
- A really temporal logic
- Resolution for temporal logics of knowledge
- Decidable temporal and sequential relevant logics*
- Title not available (Why is that?)
- Substructure Temporal Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
