The following pages link to Cylindric modal logic (Q4842635):
Displaying 16 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Taming logic (Q1909607) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)