Frame based formulas for intermediate logics
From MaRDI portal
Publication:1005954
DOI10.1007/S11225-008-9147-0zbMATH Open1172.03019OpenAlexW1976834309MaRDI QIDQ1005954FDOQ1005954
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
intermediate logicsplittingaxiomatizabilityJankov formulafinite model propertycofinal subframe formulade Jongh formulaframe-based formulalocally tabular logicsubframe formula
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Canonical formulas for K4. Part I: Basic results
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Logics containing K4. Part II
- An algebraic approach to subframe logics. Intuitionistic case
- Syntax and semantics of superintuitionistic logics
- The structure of lattices of subframe logics
- Splitting lattices of logics
- An almost general splitting theorem for modal logic
- Der Verband der normalen verzweigten Modallogiken
- Locally finite varieties.
- Locally finite varieties of Heyting algebras
- Number of prelocally table superintuitionistic propositional logics
- Logics containing K4. Part I
- Splittings of a Lattice
- Consequences of Schanuel's condition for zeros of exponential terms
- Splittings and the finite model property
- Prefinitely axiomatizable modal and intermediate logics
Cited In (8)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- CANONICAL FORMULAS FOR wK4
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Notes on my scientific life
- Frame problem in dynamic logic
- Stable formulas in intuitionistic logic
- Free equivalential algebras
- Stable canonical rules
This page was built for publication: Frame based formulas for intermediate logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1005954)
