scientific article

No author found.

Publication date: 3 November 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Modal logic (including the logic of norms) (03B45) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Related Items

Logic of negation-complete interactive proofs (formal theory of epistemic deciders), Characterization, verification and generation of strategies in games with resource constraints, Quantified temporal alethic boulesic doxastic logic, Causality-based game solving, Proof complexity of modal resolution, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, Expressive power of ``now and ``then operators, Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor, Tableau reductions: towards an optimal decision procedure for the modal necessity, Covering-based rough sets and modal logics. I., Axiomatizations of team logics, Covering-based rough sets and modal logics. II., On inverse operators in dynamic epistemic logic, Embeddability into relational lattices is undecidable, 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, Reasoning about equilibria in game-like concurrent systems, PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\), Equivalence of probabilistic \(\mu\)-calculus and p-automata, Labeled sequent calculi for modal logics and implicit contractions, Emptiness problems for distributed automata, Compositional meaning in logic, Preface to the special issue: Temporal logics of agency, Global view on reactivity: switch graphs and their logics, 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, Symmetric blocking, Constrained consequence, Foundations of instance level updates in expressive description logics, Resource bisimilarity and graded bisimilarity coincide, Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction), Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA, Justification logics and hybrid logics, Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?, Resolution with order and selection for hybrid logics, An NP-complete fragment of fibring logic, Reverse public announcement operators on expanded models, DEL-based epistemic planning: decidability and complexity, Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems, Best unifiers in transitive modal logics, Decidability of an Xstit logic, Arrow update synthesis, 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, Dual and axiomatic systems for constructive S4, a formally verified equivalence, Second-order propositional modal logic and monadic alternation hierarchies, Intuitionistic fixed point logic, Where logic and agents meet, Products of modal logics and tensor products of modal algebras, Polynomial hierarchy graph properties in hybrid logic, Second-order propositional modal logic: expressiveness and completeness results, Bounded semantics, Completeness in hybrid type theory, Modes of adjointness, Generative program analysis and beyond: the power of domain-specific languages (invited paper), Duality for the logic of quantum actions, Coalition and relativised group announcement logic, Counterlogicals as counterconventionals, Belnap-Dunn modal logic with value operators, Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography, Spatial logic of tangled closure operators and modal mu-calculus, A stochastic interpretation of game logic, Rewrite rules for \(\mathrm{CTL}^\ast\), t-DeLP: an argumentation-based temporal defeasible logic programming framework, Relative expressive power of navigational querying on graphs, Practical extraction of evidence terms from common-knowledge reasoning, Parameterized modal satisfiability, Local properties in modal logic, Using hybrid logic for coping with functions in subset spaces, McCarthy variations in a modal key, A dynamic-epistemic hybrid logic for intentions and information changes in strategic games, A logic for diffusion in social networks, Characterising modal definability of team-based logics via the universal modality, A modal view of the semantics of theoretical sentences, Completeness in equational hybrid propositional type theory, Matching logic explained, Verification of dynamic bisimulation theorems in Coq, Many-sorted hybrid modal languages, ExpTime tableaux with global caching for hybrid PDL, A prover dealing with nominals, binders, transitivity and relation hierarchies, Propositional quantification in bimodal S5, A tableaux calculus for default intuitionistic logic, Complexity of the universal theory of modal algebras, Coalgebraic logic for stochastic right coalgebras, Games and bisimulations for intuitionistic first-order Kripke models, Intuitionistic hybrid logic: introduction and survey, Verification and strategy synthesis for coalition announcement logic, A new game equivalence, its logic and algebra, A strict implication calculus for compact Hausdorff spaces, The modal logic of reverse mathematics, Saturated Kripke structures as Vietoris coalgebras, Local reductions for the modal cube, Cyclic proofs, hypersequents, and transitive closure logic, Refinement in hybridised institutions, Synthesis for continuous time, Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer), Towards Syntactic Epistemic Logic, Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types, Combining Theories: The Ackerman and Guarded Fragments, Logics of Rational Interaction, Undecidability of QLTL and QCTL with two variables and one monadic predicate letter, Two Ways to Common Knowledge, The Rule of Existential Generalisation and Explicit Substitution, Non-finitely axiomatisable two-dimensional modal logics, Unnamed Item, Doctrines, modalities and comonads, On Some Modal Type Intuitionistic Fuzzy Operators, Interacting with Modal Logics in the Coq Proof Assistant, Finitary S5-Theories, Extensional higher-order paramodulation in Leo-III, Algebraic semantics for modal and superintuitionistic non-monotonic logics, Exorcising the phantom zone, The expressive power of modal logic with inclusion atoms, Separation logics and modalities: a survey, Cyclic hypersequent system for transitive closure logic, Mechanising Gödel-Löb provability logic in HOL light, A simple logic of the hide and seek game, Completing the Picture: Complexity of Graded Modal Logics with Converse, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, The algebraic significance of weak excluded middle laws, METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS, Are bundles good deals for first-order modal logic?, An axiom system for basic hybrid logic with propositional quantifiers, Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts, COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND, Multiple-valued semantics for metric temporal logic, Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic, Cardinality reduction theorem for logics QHC and QH4, DOING WITHOUT ACTION TYPES, Logic of visibility in social networks, Non-monotonic reasoning via dynamic consequence, Back-and-forth in space: on logics and bisimilarity in closure spaces, Program semantics and verification technique for AI-centred programs, Polysemy and Coercion – A Frame-Based Approach Using LTAG and Hybrid Logic, Counterpart theories for everyone, A short introduction to SHACL for logicians, Simple Axioms for Local Properties, Theorem proving using clausal resolution: from past to present, Finite model property in weakly transitive tense logics, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic, INSTANTIAL NEIGHBOURHOOD LOGIC, Deontic Logic for Human Reasoning, Bisimilarity is not Borel, Global Caching for Coalgebraic Description Logics, Terminating Tableaux for Hybrid Logic with Eventualities, Model Checking Strategic Equilibria, Property-Based Testing for Spark Streaming, Weak models of distributed computing, with connections to modal logic, From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics, Unnamed Item, The Complexity of Decomposing Modal and First-Order Theories, STABLE MODAL LOGICS, The Minimal System of Justification Logic with Names, Segerberg Squares of Modal Logics and Theories of Relation Algebras, Unnamed Item, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment, Observational Effort and Formally Open Mappings, Query Answering with DBoxes is Hard, Clausal Tableaux for Hybrid PDL, Unnamed Item, Hybrid Tableaux for the Difference Modality, Axiomatic and dual systems for constructive necessity, a formally verified equivalence, Constructive Formalization of Hybrid Logic with Eventualities, On Characterization, Definability and ω-Saturated Models, Algebraic semantics for propositional superposition logic, INQUISITIVE BISIMULATION, Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics, REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION, Easkia Duality and Its Extensions, Using Each Other’s Words, Generalized Quantifiers Meet Modal Neighborhood Semantics, Failure of Interpolation in Constant Domain Intuitionistic Logic, Temporal Logic of Minkowski Spacetime