Pages that link to "Item:Q5718700"
From MaRDI portal
The following pages link to Products of ‘transitive” modal logics (Q5718700):
Displaying 8 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Multimodal logics of products of topologies (Q861569) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← 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)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
