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

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

Churn-Jung Liau, Chun-Yu Lin

Publication date: 19 August 2024

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On fuzzy modal logics \(S5(\mathcal C)\)
• Coalgebraic semantics of modal logics: an overview
• Quick completeness proofs for some logics of conditionals
• Standard Gödel modal logics
• Coalgebraic logic
• Metamathematics of fuzzy logic
• Neighborhood semantics for modal many-valued logics
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Toward a general frame semantics for modal many-valued logics
• Neighborhood semantics for modal logic
• Complexity of fuzzy probability logics. II
• A finite model construction for coalgebraic modal logic
• Modal logic
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• Introduction to coalgebra. Towards mathematics of states and observation
• Probability Logics
• Many-Valued Relation Lifting and Moss’ Coalgebraic Logic
• A Finite Model Property for Gödel Modal Logics
• Completeness for the coalgebraic cover modality
• Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
• Towards a Proof Theory of G\"odel Modal Logics
• Rank-1 Modal Logics are Coalgebraic
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Bi-modal Godel logic over [0,1]-valued Kripke frames
• STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS

Related Items (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)