Pages that link to "Item:Q4316304"
From MaRDI portal
The following pages link to Modal Logic, Transition Systems and Processes (Q4316304):
Displaying 17 items.
- Translations between modal logics of reactive systems (Q674003) (← links)
- Modal logics for mobile processes (Q685408) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Logic of transition systems (Q1895974) (← links)
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← links)
- Algebra of timed frames (Q2710790) (← links)
- (Q2757802) (← links)
- Ontological transition systems structures (Q2882982) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- (Q3693507) (← links)
- (Q3990459) (← links)
- A Modal Logic for Full LOTOS based on Symbolic Transition Systems (Q4328968) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- (Q4732449) (← links)
- THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES (Q5305060) (← links)
- Labelled transition logic: An outline (Q5950716) (← links)
- Realisability of global models of interaction (Q6605359) (← links)