Pages that link to "Item:Q4238499"
From MaRDI portal
The following pages link to Hybrid languages and temporal logic (Q4238499):
Displaying 27 items.
- Completeness in hybrid type theory (Q484101) (← links)
- Partial and paraconsistent approaches to future contingents in tense logic (Q516419) (← links)
- Reichenbach, Prior and hybrid tense logic (Q516424) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Logspace and logtime leaf languages (Q1817219) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Many-sorted hybrid modal languages (Q2035658) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- Hybrid logics: Characterization, interpolation and complexity (Q2758042) (← links)
- Back from the future (Q2901197) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- A first step towardsmodeling semistructured data in hybrid multimodal logic (Q3647216) (← links)
- Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
