Many-valued modal logics: a simple approach
From MaRDI portal
Publication:3580668
Recommendations
Cites work
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- scientific article; zbMATH DE number 97789 (Why is no real title available?)
- An introduction to non-classical logic
- An introduction to non-classical logic. From if to is
- Local and global operators and many-valued modal logics
- Many-Valued Modal Propositional Calculi
- Many-valued modal logics: Uses and predicate calculus
- 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
(36)- scientific article; zbMATH DE number 6099698 (Why is no real title available?)
- Routley star and hyperintensionality
- scientific article; zbMATH DE number 1735909 (Why is no real title available?)
- On modal operators in Łukasiewicz \(n\)-valued logics
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Axiomatization of crisp Gödel modal logic
- Autoreferential semantics for many-valued modal logics
- Expressivity in chain-based modal logics
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- 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}\)
- On a multilattice analogue of a hypersequent S5 calculus
- scientific article; zbMATH DE number 1775492 (Why is no real title available?)
- Many-valued logics and bivalent modalities
- Decidability of order-based modal logics
- Many-valued logic and sequence arguments in value theory
- Many-valued modalities and paraconsistency
- Many-valued multi-modal logics, satisfiability problem
- Many-valued modal logics: Uses and predicate calculus
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
- 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)
