scientific article; zbMATH DE number 1749192
From MaRDI portal
Publication:4532193
zbMath0998.03015MaRDI QIDQ4532193
Publication date: 26 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesspropositional modal logicsfinite model propertynormal modal logicsaxiom systems for modal logicsfirst-order predicate modal logics
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
A stochastic interpretation of propositional dynamic logic: expressivity, Connecting many-sorted theories, MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD, WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?, TOTAL LOGIC, SYMMETRIES IN MODAL LOGICS, Modes of adjointness, Minimal predicates, fixed-points, and definability, A logic for metric and topology, ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY, An algebraic characterization of equivalent preferential models, MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS, Erdős Graphs Resolve Fine's Canonicity Problem, The modal logic of affine planes is not finitely axiomatisable, THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC, REFLEXIVE-INSENSITIVE MODAL LOGICS, Interpolation for extended modal languages, THE MODAL LOGIC OF INNER MODELS, STABLE CANONICAL RULES, The modalμ-calculus hierarchy over restricted classes of transition systems, A polynomial translation of S4 into intuitionistic logic, TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4, MODAL LOGICS OF METRIC SPACES, 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05, Failure of Interpolation in Constant Domain Intuitionistic Logic
