Products of modal logics, part 1
From MaRDI portal
Publication:4380448
Recommendations
Cited in
(84)- On combinations of propositional dynamic logic and doxastic modal logics
- Diversity of agents and their interaction
- Decidable fragments of first-order temporal logics
- Topological-frame products of modal logics
- More on \(d\)-logics of subspaces of the rational numbers
- Interactions between knowledge, action and commitment within agent dynamic logic
- Products of modal logics. III. Products of modal and temporal logics
- An elementary construction for a non-elementary procedure
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
- Propositional quantification in bimodal S5
- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Orthogonal frames and indexed relations
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\)
- Non-primitive recursive decidability of products of modal logics with expanding domains
- On squares of modal logics with additional connectives
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
- Products, or how to create modal logics of high complexity
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
- Decidable fragments of first-order modal logics
- Axiomatization and completeness of lexicographic products of modal logics
- Updating knowledge using subsets
- Non-finitely axiomatisable two-dimensional modal logics
- What is the correct logic of necessity, actuality and apriority?
- Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Matching topological and frame products of modal logics
- On axiomatising products of Kripke frames. II
- About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
- COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS
- Axiomatization and Completeness of Lexicographic Products of Modal Logics
- Products of modal logics with diagonal constant lacking the finite model property
- scientific article; zbMATH DE number 3957080 (Why is no real title available?)
- Complexity of products of modal logics
- scientific article; zbMATH DE number 1989655 (Why is no real title available?)
- scientific article; zbMATH DE number 2024635 (Why is no real title available?)
- The product of converse PDL and polymodal K
- On axiomatising products of Kripke frames
- On the Products of Linear Modal Logics
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
- Products of modal logics and tensor products of modal algebras
- On possible worlds with modal parts. A semantics for modal interaction
- Axiomatizing hybrid products of monotone neighborhood frames
- Products of modal logics. Part 2: relativised quantifiers in classical logic
- A dichotomy for some elementarily generated modal logics
- The compositional method and regular reachability
- Decision procedures for a deontic logic modeling temporal inheritance of obligations
- On neighbourhood product of some Horn axiomatizable logics
- Compositional failure detection in structured transition systems
- Segerberg Squares of Modal Logics and Theories of Relation Algebras
- Truth-preserving operations on sums of Kripke frames
- Using Each Other’s Words
- On the essential flatness of possible worlds
- On modal products with the logic of `elsewhere'
- scientific article; zbMATH DE number 2196593 (Why is no real title available?)
- Products of ‘transitive” modal logics
- Logics for Temporal Information Systems in Rough Set Theory
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views
- The Complexity of Decomposing Modal and First-Order Theories
- Modal logics of succession for 2-dimensional integral spacetime
- Failure of interpolation in combined modal logics
- A description logic based situation calculus
- A simple logic of the hide and seek game
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
- Semiproducts, products, and modal predicate logics: some examples
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
- CoNP complexity for combinations of non-normal modal logics
- A study on multi-dimensional products of graphs and hybrid logics
- Graph games and logic design
- No finite model property for logics of quantified announcements
- On the weak completeness of a fragment of linear temporal logic
- Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
- Sufficient conditions for local tabularity of a polymodal logic
- Chair of Mathematical Logic and Theory of Algorithms
- Undecidability of admissibility in the product of two \textbf{Alt} logics
- Modal discussive logics
- Meet-combination of consequence systems
- Variations on the Kripke trick
- Stable canonical rules and formulas for pre-transitive logics via definable filtration
- Multimodal logics of products of topologies
- An NP-complete fragment of fibring logic
This page was built for publication: Products of modal logics, part 1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4380448)
