Pages that link to "Item:Q4318161"
From MaRDI portal
The following pages link to A Modal Logic for Quantification and Substitution (Q4318161):
Displaying 5 items.
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- Hybrid logics: Characterization, interpolation and complexity (Q2758042) (← links)
- Nominal substitution at work with the global and converse modalities (Q2904047) (← links)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
- On the multi-dimensional modal logic of substitutions (Q5211025) (← links)