Pages that link to "Item:Q4545015"
From MaRDI portal
The following pages link to The Unrestricted Combination of Temporal Logic Systems (Q4545015):
Displaying 7 items.
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Importing logics (Q694499) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- A functional approach for temporal \(\times\) modal logics (Q1403342) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)