A theoretical investigation into quantitative modal logic

DOI10.1016/0165-0114(95)00006-7zbMath0853.03003OpenAlexW2091623312MaRDI QIDQ1920333

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

zbMATH Keywords

possibility theoryfiltrationapproximate reasoningfinite model propertypossibilistic logichigher 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)

Related Items

Possibilistic reasoning -- a mini-survey and uniform semantics, A modal account of similarity-based reasoning, \(U\)-Sets as a possibilistic set theory, AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS

Cites Work

• Proof methods for modal and intuitionistic logics
• Fuzzy sets as a basis for a theory of possibility
• Proof methods for reasoning about possibility and necessity
• Knowledge representation and reasoning under uncertainty. Logic at work
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item