A theoretical investigation into quantitative modal logic

DOI10.1016/0165-0114(95)00006-7MaRDI QIDQ1920333zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• A quantitative analysis of modal logic
• Investigations into quantified modal logic
• scientific article; zbMATH DE number 1389650
• 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

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 41270 (Why is no real title available?)
• scientific article; zbMATH DE number 41471 (Why is no real title available?)
• scientific article; zbMATH DE number 500943 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• Fuzzy sets as a basis for a theory of possibility
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Knowledge representation and reasoning under uncertainty. Logic at work
• Proof methods for modal and intuitionistic logics
• 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)