Pages that link to "Item:Q861569"

The following pages link to Multimodal logics of products of topologies (Q861569):

Displaying 21 items.

• Matching topological and frame products of modal logics (Q295921) (← links)
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
• A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
• Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
• The modal logic of continuous functions on the rational numbers (Q971888) (← links)
• The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
• Modal languages for topology: expressivity and definability (Q1023054) (← links)
• Hybrid logics of separation axioms (Q1047799) (← links)
• Topology and measure in logics for region-based theories of space (Q1694810) (← links)
• Topological-frame products of modal logics (Q1756592) (← links)
• A new proof of the McKinsey-Tarski theorem (Q1756601) (← links)
• The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) (Q2350220) (← links)
• A topological approach to full belief (Q2421518) (← links)
• Tree-like constructions in topology and modal logic (Q2663333) (← links)
• Products, or how to create modal logics of high complexity (Q2708309) (← links)
• (Q3784048) (← links)
• (Q4443212) (← links)
• Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
• STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
• Strong Completeness of S4 for the Real Line (Q5027240) (← links)
• Topological product of modal logics with the McKinsey axiom (Q6545174) (← links)