Some modal logics based on a three-valued logic
From MaRDI portal
Publication:1115854
DOI10.1305/ndjfl/1093635000zbMath0665.03013MaRDI QIDQ1115854
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
Related Items
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