A modal axiomatization of BK

DOI10.1093/LOGCOM/EXAF056MaRDI QIDQ6895253zbMATH OpenFDO

Authors Javid Jafari

Publication date 25 November 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAF056

zbMATH Keywords

LFIsNmatrixnon-deterministic semanticsnon-normal modal logicsparaconsistent logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• 8 valued non-deterministic semantics for modal logics
• and in eight-valued non-deterministic semantics for modal logics
• A Gödel-Dugundji-style theorem for the minimal structural logic
• A note on Ciuciura's \(\mathbf{mbC}^1\)
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• Dugundji's theorem revisited
• Finite non-deterministic semantics for some modal systems
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 6863636 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• scientific article; zbMATH DE number 4187771 (Why is no real title available?)
• Modal logic with non-deterministic semantics. I: Propositional case
• Modal semantics without possible worlds
• Modular construction of cut-free sequent calculi for paraconsistent logics
• Modular non-deterministic semantics for T, TB, S4, S5 and more
• Nearly every normal modal logic is paranormal
• Negation on the Australian plan
• Neighborhood semantics for modal logic
• Non-deterministic Multiple-valued Structures
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• On Ivlev's semantics for modality
• On non-deterministic functional completeness
• Paraconsistent logic: consistency, contradiction and negation
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• RNmatrices for modal logics
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Theory of effective propositional paraconsistent logics
• Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics

Cited in

(1)

• K and KT: an analytic non-deterministic view

This page was built for publication: A modal axiomatization of \(\mathbf{BK}\)

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