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

DOI10.1016/J.FSS.2023.108564zbMATH Open1543.0306MaRDI QIDQ6588974FDOQ6588974

Authors: Chun-Yu Lin, Churn-Jung Liau 

Publication date: 19 August 2024

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

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

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)

Cites Work

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