Many-valued modal logics: a simple approach
From MaRDI portal
Recommendations
Cites work
- An introduction to non-classical logic
- An introduction to non-classical logic. From if to is
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- scientific article; zbMATH DE number 97789 (Why is no real title available?)
- Local and global operators and many-valued modal logics
- Many-valued modal logics: Uses and predicate calculus
- Many-Valued Modal Propositional Calculi
- Metamathematics of fuzzy logic
- Possible worlds and many truth values
- Some Modal Logics based on a Three‐valued Logic
- Tableaus for many-valued modal logic
- Tableaus with invertible rules for many-valued modal propositional logics
Cited in
(39)- Many-valued multi-modal logics, satisfiability problem
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- A completeness theorem for continuous predicate modal logic
- Expressivity in chain-based modal logics
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- Non-distributive relatives of ETL and NFL
- Axiomatization of crisp Gödel modal logic
- A general framework for FDE-based modal logics
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Decidability of order-based modal logics
- Retracted article: ``A completeness theorem for continuous predicate modal logic
- The lattice of Belnapian modal logics: special extensions and counterparts
- Many-valued modal logics: Uses and predicate calculus
- A Modal Logic for Multiple-Source Tolerance Approximation Spaces
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- On modal operators in Łukasiewicz n-valued logics
- scientific article; zbMATH DE number 6099698 (Why is no real title available?)
- On a multilattice analogue of a hypersequent S5 calculus
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
- Autoreferential semantics for many-valued modal logics
- Modelling inexact utility theory in a multi-valued logic of approximation
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- scientific article; zbMATH DE number 1735909 (Why is no real title available?)
- scientific article; zbMATH DE number 1775492 (Why is no real title available?)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- Many-Valuation, Modality, and Fuzziness
- Many-valued logic and sequence arguments in value theory
- A family of Gödel hybrid logics
- Many-valued logics and bivalent modalities
- Many-valued coalgebraic logic over semi-primal varieties
- Many-valued modalities and paraconsistency
- A Gödel modal logic over witnessed crisp models
- Weak Belnapian modal logic
- Knowledge and ignorance in Belnap-Dunn logic
- Routley star and hyperintensionality
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)
