Many-valued modal logics: a simple approach
From MaRDI portal
Publication:3580668
DOI10.1017/S1755020308080179zbMATH Open1206.03022DBLPjournals/rsl/Priest08aWikidataQ29026255 ScholiaQ29026255MaRDI QIDQ3580668FDOQ3580668
Authors: Graham Priest 
Publication date: 13 August 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)
Cites Work
- Metamathematics of fuzzy logic
- An introduction to non-classical logic. From if to is
- An introduction to non-classical logic
- Many-Valued Modal Propositional Calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tableaus for many-valued modal logic
- Some Modal Logics based on a Three‐valued Logic
- Possible worlds and many truth values
- Local and global operators and many-valued modal logics
- Tableaus with invertible rules for many-valued modal propositional logics
- Many-valued modal logics: Uses and predicate calculus
Cited In (36)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Routley star and hyperintensionality
- On modal operators in Łukasiewicz \(n\)-valued logics
- Title not available (Why is that?)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Autoreferential semantics for many-valued modal logics
- Axiomatization of crisp Gödel modal logic
- Expressivity in chain-based modal logics
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Title not available (Why is that?)
- Many-valued coalgebraic logic over semi-primal varieties
- Non-distributive relatives of ETL and NFL
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- A general framework for FDE-based modal logics
- A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
- Title not available (Why is that?)
- On a multilattice analogue of a hypersequent S5 calculus
- Many-valued logics and bivalent modalities
- Many-valued logic and sequence arguments in value theory
- Many-valued modalities and paraconsistency
- Decidability of order-based modal logics
- Many-valued multi-modal logics, satisfiability problem
- Many-valued modal logics: Uses and predicate calculus
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- A Modal Logic for Multiple-Source Tolerance Approximation Spaces
- The lattice of Belnapian modal logics: special extensions and counterparts
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- A family of Gödel hybrid logics
- Retracted article: ``A completeness theorem for continuous predicate modal logic
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Modelling inexact utility theory in a multi-valued logic of approximation
- Many-Valuation, Modality, and Fuzziness
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- A completeness theorem for continuous predicate modal logic
This page was built for publication: Many-valued modal logics: a simple approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580668)
