Frame based formulas for intermediate logics

DOI10.1007/s11225-008-9147-0zbMath1172.03019OpenAlexW1976834309MaRDI QIDQ1005954

Nick Bezhanishvili

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9147-0

zbMATH Keywords

splittingfinite model propertyaxiomatizabilityintermediate logicJankov formulacofinal subframe formulade Jongh formulaframe-based formulalocally tabular logicsubframe formula

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (6)

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ CANONICAL FORMULAS FOR wK4 ⋮ Free equivalential algebras ⋮ Stable formulas in intuitionistic logic ⋮ STABLE CANONICAL RULES ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• An almost general splitting theorem for modal logic
• Locally finite varieties of Heyting algebras
• Syntax and semantics of superintuitionistic logics
• Number of prelocally table superintuitionistic propositional logics
• The structure of lattices of subframe logics
• Locally finite varieties.
• An algebraic approach to subframe logics. Intuitionistic case
• Logics containing K4. Part II
• Splitting lattices of logics
• Canonical formulas for K4. Part I: Basic results
• Prefinitely axiomatizable modal and intermediate logics
• Consequences of Schanuel's condition for zeros of exponential terms
• Logics containing K4. Part I
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Splittings and the finite model property
• Splittings of a Lattice

This page was built for publication: Frame based formulas for intermediate logics