scientific article

Publication date: 1985

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

modal logic higher-order logic model theory proof theory algebra alternativity relation first-order relational conditions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10)

Related Items (90)

Logics and decidability for labelled pre- and partially ordered Kripke structures ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Bounded situation calculus action theories ⋮ Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics ⋮ Interpolation, preservation, and pebble games ⋮ MEREOLOGICAL BIMODAL LOGICS ⋮ Modal and guarded characterisation theorems over finite transition systems ⋮ An algebraic theory of normal forms ⋮ The mu-calculus and Model Checking ⋮ April the 19th ⋮ Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ The monadic theory of finite representations of infinite words ⋮ An undecidable problem in correspondence theory ⋮ Logic of transition systems ⋮ Derivation rules as anti-axioms in modal logic ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Modal logic via global consequence ⋮ TTL : a formalism to describe local and global properties of distributed systems ⋮ Constructive canonicity in non-classical logics ⋮ A set-theoretic translation method for polymodal logics ⋮ Generalizing deontic action logic ⋮ Modal logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Connectionist modal logic: representing modalities in neural networks ⋮ A description logic based situation calculus ⋮ Bisimulations and predicate logic ⋮ Frame definability in finitely valued modal logics ⋮ To be announced ⋮ An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability ⋮ The modal logic of inequality ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Dynamic reasoning with qualified syllogisms ⋮ A simple example of blocking the Craig trick ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ A simple logic of concepts ⋮ Counterpart theories for everyone ⋮ The fixed point property in modal logic ⋮ Repairing the interpolation theorem in quantified modal logic ⋮ First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus ⋮ On the Decision Problem for Two-Variable First-Order Logic ⋮ A note on the issue of cohesiveness in canonical models ⋮ Unnamed Item ⋮ Sahlqvist correspondence for modal mu-calculus ⋮ Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus ⋮ Branching-time logic with quantification over branches: The point of view of modal logic ⋮ Post complete and 0-axiomatizable modal logics ⋮ Relation algebras can tile ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics ⋮ Second-order propositional modal logic and monadic alternation hierarchies ⋮ The modal logic of agreement and noncontingency ⋮ Language in action ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ Exploring the tractability border in epistemic tasks ⋮ Fibring: completeness preservation ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ A proof-theoretic study of the correspondence of classical logic and modal logic ⋮ Maximal Kripke-type semantics for modal and superintuitionistic predicate logics ⋮ On bisimulations for description logics ⋮ Local properties in modal logic ⋮ Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators ⋮ An intriguing logic with two implicational connectives ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ Failure of interpolation in combined modal logics ⋮ Modal logics that need very large frames ⋮ A Sahlqvist theorem for distributive modal logic ⋮ On the completeness and decidability of duration calculus with iteration ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Unnamed Item ⋮ A proof-theoretic study of the correspondence of hybrid logic and classical logic ⋮ The bounded proof property via step algebras and step frames ⋮ Expressivity and Complexity of Dependence Logic ⋮ Modal languages and bounded fragments of predicate logic ⋮ Modal correspondence for models ⋮ Second-order logic on equivalence relations ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes ⋮ A new proof of Sahlqvist's theorem on modal definability and completeness ⋮ Polyadic quantifiers ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ INQUISITIVE BISIMULATION ⋮ Schema Mappings: A Case of Logical Dynamics in Database Theory ⋮ Logic and Probabilistic Update ⋮ Logic and Game Theory ⋮ Expressive completeness of modal logic on binary ramified frames ⋮ Expressiveness of concept expressions in first-order description logics

This page was built for publication: