A general framework for FDE-based modal logics

DOI10.1007/S11225-020-09897-ZzbMath1484.03034OpenAlexW3008902125MaRDI QIDQ2027214

Sergey Drobyshevich

Publication date: 25 May 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09897-z

zbMATH Keywords

modal logicmany-valued logicstrong negationfirst-degree entailmentaxiom systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items (2)

Modal bilattice logic and its extensions ⋮ Neighbourhood semantics for FDE-based modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for normal intuitionistic modal logics
• 40 years of FDE: an introductory overview
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Partiality and its dual
• Positive modal logic
• Reasoning with logical bilattices
• Four-valued modal logic: Kripke semantics and duality
• Modal Operators over Constructive Logic
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Constructible falsity and inexact predicates
• Kripke Semantics for Modal Bilattice Logic
• Constructible falsity
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness

This page was built for publication: A general framework for FDE-based modal logics