Searching for "Temporal and Modal Logic." – sorted by Relevance.
-
Temporal and modal logic
- TEMPORAL AND MODAL LOGIC by E. Allen Emerson Computer Sciences Department University of
- Cited by 912 (15 self) – Add To MetaCart
-
Temporal and Modal Logic Programming Languages
- Temporal and Modal Logic Programming Languages Manolis Gergatsoulis Institute of Informatics
- Cited by 5 (1 self) – Add To MetaCart
-
An Overview of Temporal and Modal Logic Programming
- An Overview of Temporal and Modal Logic Programming Mehmet A. Orgun 1 and Wanli Ma 2 1
- Cited by 49 (5 self) – Add To MetaCart
-
Temporal and Modal Logic Based Event Languages for the Development of Reactive Application Systems
- Temporal and Modal Logic Based Event Languages for the Development of Reactive Application Systems
- Add To MetaCart
-
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge
- Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge Clare Dixon and Michael Fisher
- Cited by 9 (6 self) – Add To MetaCart
-
Normal Forms and Proofs in Combined Modal and Temporal Logics
- Normal Forms and Proofs in Combined Modal and Temporal Logics U. Hustadt 1 , C. Dixon 1 , R. A
- Cited by 8 (6 self) – Add To MetaCart
-
Objects, Types and Modal Logics
- ]. The fragment allows us to express the temporal modalities of the logic CTL [BAMP83]. We investigate
- Cited by 5 (0 self) – Add To MetaCart
-
Integrating Processes in Temporal Logic
- process models in classical structures for quantified temporal (modal) logic. The idea is that in a
- Add To MetaCart
-
Dynamic Topological Logics Over Spaces with Continuous Functions
- and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space
- Cited by 2 (0 self) – Add To MetaCart
-
Some comments on history based structures
- multi-agent epistemic temporal modal logic can be used to reason about these structures. A number
- Cited by 2 (1 self) – Add To MetaCart

