Handbook of modal logic
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
- Global caching for coalgebraic description logics
- Handbook of Spatial Logics
- Instantial neighbourhood logic
- Vietoris endofunctor for closed relations and its de Vries dual
- Verification of dynamic bisimulation theorems in Coq
- scientific article; zbMATH DE number 1814755 (Why is no real title available?)
- Practical extraction of evidence terms from common-knowledge reasoning
- Using hybrid logic for coping with functions in subset spaces
- Local reductions for the modal cube
- Saturated Kripke structures as Vietoris coalgebras
- Complexity of the universal theory of modal algebras
- Quantified temporal alethic boulesic doxastic logic
- Causality-based game solving
- Proof complexity of modal resolution
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- Multiple-valued semantics for metric temporal logic
- Completeness in equational hybrid propositional type theory
- A presheaf semantics for quantified temporal logics
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Algebraic properties of stochastic effectivity functions
- Combined model checking for temporal, probabilistic, and real-time logics
- Completeness results for memory logics
- Weak models of distributed computing, with connections to modal logic
- Decidability of quasi-dense modal logics
- Complete game logic with sabotage
- Characterization, verification and generation of strategies in games with resource constraints
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
- A logic for diffusion in social networks
- Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018
- McCarthy variations in a modal key
- Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022
- SLAP: specification logic of actions with probability
- Observational Effort and Formally Open Mappings
- Separation logics and modalities: a survey
- A model theory of topology
- Local properties in modal logic
- Cardinality reduction theorem for logics QHC and QH4
- Model theoretical aspects of weakly aggregative modal logic
- DOING WITHOUT ACTION TYPES
- Model Checking Strategic Equilibria
- Hybrid partial type theory
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- Polysemy and Coercion – A Frame-Based Approach Using LTAG and Hybrid Logic
- Constructive Formalization of Hybrid Logic with Eventualities
- Extensional higher-order paramodulation in Leo-III
- INQUISITIVE BISIMULATION
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
- On the structure of modal and tense operators on a Boolean algebra
- Polynomial hierarchy graph properties in hybrid logic
- scientific article; zbMATH DE number 6934384 (Why is no real title available?)
- Generative program analysis and beyond: the power of domain-specific languages (invited paper)
- On characterization, definability and -saturated models
- Modal definability of first-order formulas with free variables and query answering
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Logic of visibility in social networks
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- Lyndon Interpolation for Modal $$\mu $$-Calculus
- Belnap-Dunn modal logic with value operators
- Combining theories: the Ackerman and guarded fragments
- Using Each Other’s Words
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Algebraic semantics for propositional superposition logic
- Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics
- Hyper arrow logic with indiscernibility and complementarity
- Many-dimensional modal logics: theory and applications
- Ultraproduct for quantum structures
- Back-and-forth in space: on logics and bisimilarity in closure spaces
- Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
- Two ways to common knowledge
- Justification logics and hybrid logics
- Best unifiers in transitive modal logics
- Coalgebraic satisfiability checking for arithmetic -calculi
- Complexity results for modal logic with recursion via translations and tableaux
- Logics for order-of-magnitude qualitative reasoning: formalizing negligibility
- Cyclic hypersequent system for transitive closure logic
- Expressive power of ``now and ``then operators
- scientific article; zbMATH DE number 7471663 (Why is no real title available?)
- Terminating Tableaux for Hybrid Logic with Eventualities
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- Covering-based rough sets and modal logics. II.
- A modal view on resource-bounded propositional logics
- Counterlogicals as counterconventionals
- Modal logic and planarity of graphs
- Algebraic structures formalizing the logic of quantum mechanics incorporating time dimension
- Tools and techniques in modal logic
- Relational patterns, partiality, and set lifting in modal semantics
- Program semantics and verification technique for AI-centred programs
- Modal logic
- Covering-based rough sets and modal logics. I.
- Tableau reductions: towards an optimal decision procedure for the modal necessity
- Esakia duality and its extensions
- State-based modal logics for free choice
- Embeddability into relational lattices is undecidable
- Resolution with order and selection for hybrid logics
- A new game equivalence, its logic and algebra
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
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)
