Pages that link to "Item:Q5718700"

The following pages link to Products of ‘transitive” modal logics (Q5718700):

Displaying 21 items.

• The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
• Products of modal logics and tensor products of modal algebras (Q472808) (← links)
• Multimodal logics of products of topologies (Q861569) (← links)
• Products of modal logics. III. Products of modal and temporal logics (Q1863827) (← links)
• An elementary construction for a non-elementary procedure (Q1863831) (← links)
• On transitive modal many-valued logics (Q2035340) (← links)
• Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
• Products, or how to create modal logics of high complexity (Q2708309) (← links)
• Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
• Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
• Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
• Complexity of products of modal logics (Q4242586) (← links)
• Products of modal logics, part 1 (Q4380448) (← links)
• (Q4430402) (← links)
• (Q4443212) (← links)
• The product of converse PDL and polymodal K (Q4487258) (← links)
• On the Products of Linear Modal Logics (Q4529490) (← links)
• (Q5465443) (← links)
• On Product Logic with Truth-constants (Q5477455) (← links)
• The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)