A Lindström theorem in many-valued modal logic over a finite MTL-chain

DOI10.1016/J.FSS.2019.03.002MaRDI QIDQ2219166zbMATH OpenOpenAlexFDO

Authors Guillermo Badia, Grigory Olkhovikov

Publication date 19 January 2021

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

Full work available at URL https://espace.library.uq.edu.au/view/UQ:41b4dd2/UQ41b4dd2_OA.pdf

zbMATH Keywords

fuzzy logicresiduated latticesbisimulationmany-valued modal logicMTL-chainsLindström theorem

Mathematics Subject Classification ID

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

Recommendations

• A new modal Lindström theorem
• Lindström theorems in graded model theory
• Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations
• A Hennessy-Milner property for many-valued modal logics
• scientific article; zbMATH DE number 35414

Cites work

• scientific article; zbMATH DE number 5872415 (Why is no real title available?)
• scientific article; zbMATH DE number 3941494 (Why is no real title available?)
• scientific article; zbMATH DE number 6930334 (Why is no real title available?)
• scientific article; zbMATH DE number 2196607 (Why is no real title available?)
• A Henkin-style proof of completeness for first-order algebraizable logics
• A Hennessy-Milner property for many-valued modal logics
• A general Lindström theorem for some normal modal logics
• A new modal Lindström theorem
• An Algebraic Approach to Valued Constraint Satisfaction
• Applications of ultraproducts: from compactness to fuzzy elementary classes
• Axioms for abstract model theory
• Decidability of order-based modal logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• First-order modal logic: frame definability and a Lindström theorem
• Fuzzy logics as the logics of chains
• Handbook of mathematical fuzzy logic. Volume 1
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Metamathematics of fuzzy logic
• On Extensions of Elementary Logic
• On elementary equivalence in fuzzy predicate logics
• On modal extensions of product fuzzy logic
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• On theories and models in fuzzy predicate logics
• Preserving mappings in fuzzy predicate logics

Cited in

(10)

• A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
• Expressivity in chain-based modal logics
• A Hennessy-Milner property for many-valued modal logics
• On possibilistic modal logics defined over MTL-chains
• A new modal Lindström theorem
• A Lindström theorem for intuitionistic propositional logic
• Preservation theorems for MTL-chains
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Lindström theorems in graded model theory
• Paraconsistent transition structures: compositional principles and a modal logic

This page was built for publication: A Lindström theorem in many-valued modal logic over a finite MTL-chain

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