Proof methods for reasoning about possibility and necessity

DOI10.1016/0888-613X(93)90019-AMaRDI QIDQ1310399zbMATH OpenFDO

Authors Churn-Jung Liau, Bertrand I-peng Lin

Publication date 15 May 1994

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

Full work available at URL https://doi.org/10.1016/0888-613X(93)90019-A

zbMATH Keywords

fuzzy setKripke semanticsmodal logicnatural deductionpossibilistic logictableau methoduncertainty reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Modal logics for qualitative possibility theory
• scientific article; zbMATH DE number 956598
• A crash course on generalized possibilistic logic
• An alternative proof method for possibilistic logic and its application to terminological logics
• Possibilistic reasoning -- a mini-survey and uniform semantics

Cites work

• Fuzzy sets
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• scientific article; zbMATH DE number 4145875 (Why is no real title available?)
• scientific article; zbMATH DE number 41270 (Why is no real title available?)
• scientific article; zbMATH DE number 500943 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• MOLOG: A system that extends PROLOG with modal logic
• Proof methods for modal and intuitionistic logics
• Strategies for modal resolution: Results and problems

Cited in

(12)

• Proving possibility properties
• Possibilistic reasoning -- a mini-survey and uniform semantics
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• A theoretical investigation into quantitative modal logic
• Logical characterizations of regular equivalence in weighted social networks
• Symbolic possibilistic logic: completeness and inference methods
• Belief fusion and revision: an overview based on epistemic logic semantics
• FIELD THEORY AND MODAL LOGIC BY SEMANTIC FIELDS TO MAKE UNCERTAINTY EMERGE FROM INFORMATION
• On the relation between possibilistic logic and modal logics of belief and knowledge
• scientific article; zbMATH DE number 7288886 (Why is no real title available?)
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• On the logical and algebraic aspects of reasoning with formal contexts

This page was built for publication: Proof methods for reasoning about possibility and necessity

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