Typology of axioms for a weighted modal logic

DOI10.1016/J.IJAR.2017.06.011MaRDI QIDQ1678446zbMATH OpenOpenAlexFDO

Authors Bénédicte Legastelois, Marie-Jeanne Lesot, Adrien Revault d'Allonnes

Publication date 17 November 2017

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://hal.sorbonne-universite.fr/hal-01558038/file/LEGASTELLOIS_Benedicte.pdf

zbMATH Keywords

graded modalityKripke semanticsmodal logicsweighted axioms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Complete proof systems for weighted modal logic
• The modal logic of cluster-decomposable Kripke interpretations
• scientific article; zbMATH DE number 6863647
• Fuzzy intensional semantics
• Logics of belief over weighted structures

Cites work

• A note on graded modal logic
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Counting Objects
• From statistical knowledge bases to degrees of belief
• Fuzzy sets
• Fuzzy sets as a basis for a theory of possibility
• Graded modalities. I
• Graded modalities. II. (Canonical models)
• Graded modalities. III: The completeness and compactness of \(S4^ 0\)
• scientific article; zbMATH DE number 1678374 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 500943 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• In so many possible worlds
• Modal logic
• Modal logics for qualitative possibility theory

Cited in

(5)

• Weighted modal logic in epistemic and deontic contexts
• Complete proof systems for weighted modal logic
• A computationally grounded, weighted doxastic logic
• Fuzzy intensional semantics
• On the logical and algebraic aspects of reasoning with formal contexts

This page was built for publication: Typology of axioms for a weighted modal logic

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