The following pages link to Products of modal logics, part 1 (Q4380448):
Displaying 50 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Matching topological and frame products of modal logics (Q295921) (← links)
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- On possible worlds with modal parts. A semantics for modal interaction (Q484200) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- A description logic based situation calculus (Q604908) (← 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)
- Multimodal logics of products of topologies (Q861569) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Diversity of agents and their interaction (Q1006512) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Topological-frame products of modal logics (Q1756592) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← 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 the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) (Q2350220) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory (Q2663553) (← links)
- Products, or how to create modal logics of high complexity (Q2708309) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- Axiomatization and completeness of lexicographic products of modal logics (Q2901209) (← links)
- Updating knowledge using subsets (Q2901221) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? (Q2940881) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability (Q3298275) (← links)
- COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS (Q3646170) (← links)
- Axiomatization and Completeness of Lexicographic Products of Modal Logics (Q3655198) (← links)
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
- On reduced products of Kripke models (Q3726099) (← links)
- Complexity of products of modal logics (Q4242586) (← links)
- (Q4430402) (← links)
- (Q4443212) (← links)
- The product of converse PDL and polymodal K (Q4487258) (← links)
- On axiomatising products of Kripke frames (Q4508270) (← links)
- On the Products of Linear Modal Logics (Q4529490) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
- Products of modal logics. Part 2: relativised quantifiers in classical logic (Q4952023) (← links)
