scientific article

zbMath1114.03001MaRDI QIDQ3408862

No author found.

Publication date: 3 November 2006

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

Mathematics Subject Classification ID

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 (only showing first 100 items - show all)

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 ⋮ Lyndon Interpolation for Modal $$\mu $$-Calculus ⋮ 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 ⋮ 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.

This page was built for publication: