A theoretical investigation into quantitative modal logic

DOI10.1016/0165-0114(95)00006-7zbMATH Open0853.03003OpenAlexW2091623312MaRDI QIDQ1920333FDOQ1920333

Authors: Churn-Jung Liau, Bertrand I-peng Lin 

Publication date: 25 August 1996

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

Full work available at URL: http://ntur.lib.ntu.edu.tw/bitstream/246246/155705/1/07.pdf

Recommendations

• A quantitative analysis of modal logic
• Investigations into quantified modal logic
• Publication:4934143
• Quantified modal logic
• scientific article; zbMATH DE number 1028834
• scientific article; zbMATH DE number 1852921
• A Systematic Presentation of Quantified Modal Logics
• QUANTIFIED MODAL RELEVANT LOGICS
• scientific article; zbMATH DE number 795162
• Modal logics for qualitative possibility theory

zbMATH Keywords

approximate reasoningfiltrationpossibility theorypossibilistic logicfinite model propertyhigher order uncertaintymulti-modal formulation of possibilistic reasoningquantitative modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cites Work

• Fuzzy sets as a basis for a theory of possibility
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• Proof methods for modal and intuitionistic logics
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Title not available (Why is that?)
• Knowledge representation and reasoning under uncertainty. Logic at work
• Proof methods for reasoning about possibility and necessity

Cited In (5)

• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• Possibilistic reasoning -- a mini-survey and uniform semantics
• A modal account of similarity-based reasoning
• On the knowledge structure of multi-solution variables, including quantified statements
• \(U\)-Sets as a possibilistic set theory

This page was built for publication: A theoretical investigation into quantitative modal logic

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