Some modal logics based on a three-valued logic

DOI10.1305/NDJFL/1093635000MaRDI QIDQ1115854zbMATH OpenOpenAlexFDO

Authors Osamu Morikawa

Publication date 1989

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093635000

zbMATH Keywords

matrix calculimodelsthree-valued modal logicsthree-valued versions of K, T, S4, and S5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Recommendations

• Many-Valued Modal Propositional Calculi
• scientific article; zbMATH DE number 1902535
• Sequent calculi for three-valued logics
• scientific article; zbMATH DE number 625207
• Three-valued logics in modal logic

Cited in

(29)

• Definability and quantifier elimination for \(J_ 3\)-theories
• Cut-free systems for three-valued modal logics
• An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation
• Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems
• Tableaus for many-valued modal logic
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• A four-valued dynamic epistemic logic
• Belnap-Dunn modal logic with value operators
• Prefixed tableaus for three-valued modal propositional logics
• Three-valued propositional dynamic logic
• (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• scientific article; zbMATH DE number 988154 (Why is no real title available?)
• scientific article; zbMATH DE number 4200173 (Why is no real title available?)
• scientific article; zbMATH DE number 3906477 (Why is no real title available?)
• Many-Valued Modal Propositional Calculi
• Three-valued logics in modal logic
• scientific article; zbMATH DE number 625207 (Why is no real title available?)
• Some Operators in Kripke Models with an Involution
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• How to Avoid Deviance (in Logic)
• scientific article; zbMATH DE number 1859177 (Why is no real title available?)
• scientific article; zbMATH DE number 1902535 (Why is no real title available?)
• Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
• On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief
• The hilbert type axiomatization of some three‐valued propositional logic
• Many-valued modalities and paraconsistency
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• Many-valued modal logic
• Medium logic and Woodruff's three-valued logic

This page was built for publication: Some modal logics based on a three-valued logic

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