Handbook of modal logic
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Coalgebraic logic for stochastic right coalgebras
- Tools and techniques in modal logic
- Many-dimensional modal logics: theory and applications
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Covering-based rough sets and modal logics. II.
- Embeddability into relational lattices is undecidable
- Compositional meaning in logic
- Reverse public announcement operators on expanded models
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
- Second-order propositional modal logic: expressiveness and completeness results
- Parameterized modal satisfiability
- Local properties in modal logic
- Global view on reactivity: switch graphs and their logics
- Constrained consequence
- Resource bisimilarity and graded bisimilarity coincide
- A logic for diffusion in social networks
- Matching logic explained
- Verification of dynamic bisimulation theorems in Coq
- Many-sorted hybrid modal languages
- Propositional quantification in bimodal S5
- Games and bisimulations for intuitionistic first-order Kripke models
- Verification and strategy synthesis for coalition announcement logic
- Saturated Kripke structures as Vietoris coalgebras
- Local reductions for the modal cube
- Cyclic proofs, hypersequents, and transitive closure logic
- Characterization, verification and generation of strategies in games with resource constraints
- On inverse operators in dynamic epistemic logic
- Logics with group announcements and distributed knowledge: completeness and expressive power
- Model theoretical aspects of weakly aggregative modal logic
- A modal view on resource-bounded propositional logics
- Emptiness problems for distributed automata
- DEL-based epistemic planning: decidability and complexity
- Arrow update synthesis
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- Intuitionistic fixed point logic
- Generative program analysis and beyond: the power of domain-specific languages (invited paper)
- Coalition and relativised group announcement logic
- Counterlogicals as counterconventionals
- Belnap-Dunn modal logic with value operators
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- Completeness in equational hybrid propositional type theory
- ExpTime tableaux with global caching for hybrid PDL
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- A tableaux calculus for default intuitionistic logic
- Complexity of the universal theory of modal algebras
- A new game equivalence, its logic and algebra
- A strict implication calculus for compact Hausdorff spaces
- The modal logic of reverse mathematics
- Refinement in hybridised institutions
- Synthesis for continuous time
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
- Equivalence of probabilistic \(\mu\)-calculus and p-automata
- Resolution with order and selection for hybrid logics
- Substantive assumptions in interaction: a logical perspective
- Modal definability of first-order formulas with free variables and query answering
- SLAP: specification logic of actions with probability
- Polynomial hierarchy graph properties in hybrid logic
- Axiomatizations of team logics
- Extensional higher-order paramodulation in Leo-III
- Exorcising the phantom zone
- Counterpart theories for everyone
- Theorem proving using clausal resolution: from past to present
- Finite model property in weakly transitive tense logics
- Modal logic
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
- Query answering with DBoxes is hard
- Clausal tableaux for hybrid PDL
- Failure of interpolation in constant domain intuitionistic logic
- Logics of rational interaction
- Non-finitely axiomatisable two-dimensional modal logics
- Finitary \(\mathbf {S5}\)-theories
- Polysemy and Coercion – A Frame-Based Approach Using LTAG and Hybrid Logic
- Expressive power of ``now and ``then operators
- Constructive Formalization of Hybrid Logic with Eventualities
- On characterization, definability and -saturated models
- Tableau reductions: towards an optimal decision procedure for the modal necessity
- Covering-based rough sets and modal logics. I.
- scientific article; zbMATH DE number 1814755 (Why is no real title available?)
- Combining theories: the Ackerman and guarded fragments
- Two ways to common knowledge
- Interacting with Modal Logics in the Coq Proof Assistant
- Emptiness problems for distributed automata
- Reasoning about equilibria in game-like concurrent systems
- Handbook of Spatial Logics
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Model Checking Strategic Equilibria
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- Observational Effort and Formally Open Mappings
- Labeled sequent calculi for modal logics and implicit contractions
- Algebraic properties of stochastic effectivity functions
- Combined model checking for temporal, probabilistic, and real-time logics
- Completeness results for memory logics
- Prefixed tableaus and nested sequents
- Foundations of instance level updates in expressive description logics
- On Some Modal Type Intuitionistic Fuzzy Operators
- Decidability of an Xstit logic
- The logic of discrete qualitative relations
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018
- scientific article; zbMATH DE number 6934384 (Why is no real title available?)
This page was built for publication: Handbook of modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3408862)
