Kripke incomplete logics containing KTB

DOI10.1007/S11225-007-9056-7zbMATH Open1130.03017OpenAlexW2017693638MaRDI QIDQ995674FDOQ995674

Authors: Yutaka Miyazaki 

Publication date: 10 September 2007

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

Full work available at URL: https://doi.org/10.1007/s11225-007-9056-7

Recommendations

• On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
• On some Kripke complete and Kripke incomplete intermediate predicate logics
• Kripke completeness of infinitary predicate multimodal logics
• scientific article; zbMATH DE number 2024636
• scientific article; zbMATH DE number 810109
• Incompleteness Results in Kripke Bundle Semantics
• scientific article; zbMATH DE number 1251244
• Kripke completeness revisited
• scientific article; zbMATH DE number 912320
• Normal modal logics containing KTB with some finiteness conditions

zbMATH Keywords

Brouwer modal logic KTBgeneralized transitive axiomKripke incompleteness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The lattice of modal logics: an algebraic investigation
• Normal modal logics containing KTB with some finiteness conditions
• Two simple incomplete modal logics
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• A normal modal calculus between T and S4 without the finite model property
• An incomplete system of modal logic
• Syntactic aspects of modal incompleteness theorems
• Title not available (Why is that?)

Cited In (12)

• A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
• Normal modal logics containing KTB with some finiteness conditions
• On formulas of one variable in NEXT(KTB)
• On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
• ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
• On linear Brouwerian logics
• Substitutional validity for modal logic
• Title not available (Why is that?)
• On non-compact logics in NEXT(KTB)
• All Splitting Logics in the Lattice NExt(KTB)
• On the modal logic of the non-orthogonality relation between quantum states
• Normal modal logics determined by aligned clusters

This page was built for publication: Kripke incomplete logics containing KTB

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995674)