Pages that link to "Item:Q4532612"

The following pages link to On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612):

Displaying 15 items.

• Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
• A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
• \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
• An NP-complete fragment of fibring logic (Q905999) (← links)
• Embeddability into relational lattices is undecidable (Q1647970) (← links)
• A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
• Dugundji's theorem revisited (Q2254571) (← links)
• Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
• Embeddability into Relational Lattices Is Undecidable (Q5283216) (← links)
• (Q5413362) (← links)
• Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
• Relational Lattices via Duality (Q5739457) (← links)
• The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
• No finite model property for logics of quantified announcements (Q6642571) (← links)