Pages that link to "Item:Q2402133"
From MaRDI portal
The following pages link to Non-unifiability in linear temporal logic of knowledge with multi-agent relations (Q2402133):
Displayed 3 items.
- Satisfiability in a Temporal Multi-valueted Logic Based on Z (Q5068367) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality (Q6200449) (← links)