Pages that link to "Item:Q4796461"
From MaRDI portal
The following pages link to Modal Logics Between Propositional and First-order (Q4796461):
Displaying 9 items.
- First-order intensional logic (Q598308) (← links)
- FOIL axiomatized (Q865042) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- On Freeze LTL with Ordered Attributes (Q2811345) (← links)
- On Height and Happiness (Q3299847) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- Modal logics with non-rigid propositional designators (Q6562528) (← links)
