Pages that link to "Item:Q4318161"
From MaRDI portal
The following pages link to A Modal Logic for Quantification and Substitution (Q4318161):
Displaying 3 items.
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- Hybrid logics: characterization, interpolation and complexity (Q2758042) (← links)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
