Many-valued coalgebraic modal logic: one-step completeness and finite model property

DOI10.1016/J.FSS.2023.108564MaRDI QIDQ6588974zbMATH OpenFDO

Authors Chun-Yu Lin, Churn-Jung Liau

Publication date 19 August 2024

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

zbMATH Keywords

many-valued logicmodal logiccoalgebraic logicmathematical fuzzy logicmany-valued modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Categorical logic, topoi (03G30)

Recommendations

• Expressivity of Many-Valued Modal Logics, Coalgebraically
• A finite model construction for coalgebraic modal logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Foundations of Software Science and Computation Structures

Cites work

• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 487145 (Why is no real title available?)
• scientific article; zbMATH DE number 2070197 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• scientific article; zbMATH DE number 7585733 (Why is no real title available?)
• A finite model construction for coalgebraic modal logic
• A finite model property for Gödel modal logics
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Coalgebraic semantics of modal logics: an overview
• Completeness for the coalgebraic cover modality
• Completeness of the finitary Moss logic
• Complexity of fuzzy probability logics. II
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• Introduction to coalgebra. Towards mathematics of states and observation
• Many-valued relation lifting and Moss' coalgebraic logic
• Metamathematics of fuzzy logic
• Modal logic
• Modal logics of uncertainty with two-layer syntax: a general completeness theorem
• Neighborhood semantics for modal logic
• Neighborhood semantics for modal many-valued logics
• On fuzzy modal logics \(S5(\mathcal C)\)
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Probability logics. Probability-based formalization of uncertain reasoning
• Quick completeness proofs for some logics of conditionals
• Rank-1 modal logics are coalgebraic
• Reasoning about uncertainty
• Standard Gödel modal logics
• Strong completeness of coalgebraic modal logics
• Toward a general frame semantics for modal many-valued logics
• Towards a proof theory of Gödel modal logics
• Weak completeness of coalgebraic dynamic logics

Cited in

(1)

• Many-valued coalgebraic logic over semi-primal varieties

This page was built for publication: Many-valued coalgebraic modal logic: one-step completeness and finite model property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6588974)