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