Pages that link to "Item:Q3210907"
From MaRDI portal
The following pages link to Logics of Modal Terms for Systems Specification (Q3210907):
Displaying 8 items.
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- Models for the substitution axiom of UNITY logic (Q1313738) (← links)
- (Q2757802) (← links)
- (Q3990459) (← links)
- Fibring Modal First-Order Logics: Completeness Preservation (Q4779584) (← links)
- NOTIONAL LOGIC OF SYSTEMS (Q4781419) (← links)
- On the nature of events (Q5096856) (← links)
- A Logic Approach for LTL System Modification (Q5450882) (← links)