Cylindric modal logic

DOI10.2307/2275853zbMath0830.03008OpenAlexW2154648038MaRDI QIDQ4842635

Yde Venema

Publication date: 15 August 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275853

zbMATH Keywords

modal logiccylindric algebraderivation rulelogic with finitely many variablesmodalization of first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (17)

The Range of Modal Logic ⋮ On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras ⋮ Taming logic ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Multi-dimensional semantics for modal logics ⋮ Partitioning Kripke frames of finite height ⋮ A Categorical Aspect of the Analogy Between Quantifiers and Modalities ⋮ How many varieties of cylindric algebras are there ⋮ Epistemic operators in dependence logic ⋮ Axiomatization of modal logic squares with distinguished diagonal ⋮ A simple logic of functional dependence ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Axiomatizing the logical core of XPath 2.0 ⋮ Model Checking Strategic Equilibria ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Modal languages and bounded fragments of predicate logic ⋮ A new game equivalence, its logic and algebra

Cites Work

• Unnamed Item
• Unnamed Item
• On varieties of cylindric algebras with applications to logic
• Quantifiers as modal operators
• Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
• Algebraization of quantifier logics, an introductory overview
• A simple, purely algebraic proof of the completeness of some first order logics
• Preface for Studia Logica special issue (2)
• Varieties of complex algebras
• Non-finite-axiomatizability results in algebraic logic
• A new proof of Sahlqvist's theorem on modal definability and completeness

This page was built for publication: Cylindric modal logic