Some modal logics based on a three-valued logic

DOI10.1305/ndjfl/1093635000zbMath0665.03013OpenAlexW1983858044MaRDI QIDQ1115854

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

modelsthree-valued modal logicsmatrix calculithree-valued versions of K, T, S4, and S5

Mathematics Subject Classification ID

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

Related Items (6)

Tableaus for many-valued modal logic ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems ⋮ A four-valued dynamic epistemic logic ⋮ Belnap-Dunn modal logic with value operators ⋮ An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

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