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):
Displaying 5 items.
- Projective formulas and unification in linear discrete temporal multi-agent logics (Q2402145) (← links)
- Non-axiomatizability for the linear temporal logic of knowledge with concrete observability (Q3103975) (← links)
- (Q4461957) (← links)
- 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)