Pages that link to "Item:Q4545015"
From MaRDI portal
The following pages link to The Unrestricted Combination of Temporal Logic Systems (Q4545015):
Displaying 11 items.
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Importing logics (Q694499) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- A functional approach for temporal \(\times\) modal logics (Q1403342) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- Completeness of a combination of neighbourhood logic and temporal logic (Q1882791) (← 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)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)