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):
Displayed 3 items.
The following pages link to Projective formulas and unification in linear discrete temporal multi-agent logics (Q2402145):
Displayed 3 items.