Pages that link to "Item:Q3210907"

The following pages link to Logics of Modal Terms for Systems Specification (Q3210907):

Displaying 4 items.

• Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
• Models for the substitution axiom of UNITY logic (Q1313738) (← links)
• Fibring Modal First-Order Logics: Completeness Preservation (Q4779584) (← links)
• On the nature of events (Q5096856) (← links)