The following pages link to Logic of transition systems (Q1895974):
Displaying 24 items.
- Linear temporal logic with until and next, logical consecutions (Q947268) (← links)
- A system of predicate logic with trans-atomic units (Q1094409) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A logical study of distributed transition systems (Q1893730) (← links)
- Algebra of timed frames (Q2710790) (← links)
- CDCL-Based Abstract State Transition System for Coherent Logic (Q2907328) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- A logic of sights (Q3133164) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- Modal Logic, Transition Systems and Processes (Q4316304) (← links)
- (Q4364389) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY (Q4600823) (← links)
- Proving correctness of labeled transition systems by semantic tableaux (Q4610332) (← links)
- (Q4966050) (← links)
- Hexagonal Grid Fields Optimally Encode Transitions in Spatiotemporal Sequences (Q5157249) (← links)
- Knowledge and Local Actions (Q5213656) (← links)
- (Q5367063) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709969) (← links)
- Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) (Q5937814) (← links)
- Labelled transition logic: An outline (Q5950716) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
