Pages that link to "Item:Q2402145"
From MaRDI portal
The following pages link to Projective formulas and unification in linear discrete temporal multi-agent logics (Q2402145):
Displaying 5 items.
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Non-unifiability in linear temporal logic of knowledge with multi-agent relations (Q2402133) (← links)
- Satisfiability in a Temporal Multi-valueted Logic Based on Z (Q5068367) (← links)
- Projective formulas and unification in linear temporal logic LTLU (Q5172145) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)