Proof methods for reasoning about possibility and necessity

DOI10.1016/0888-613X(93)90019-AzbMath0786.68084MaRDI QIDQ1310399

Churn-Jung Liau, Bertrand I-peng Lin

Publication date: 15 May 1994

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

zbMATH Keywords

modal logicfuzzy setnatural deductionKripke semanticspossibilistic logictableau methoduncertainty reasoning

Mathematics Subject Classification ID

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

Related Items (7)

Possibilistic Justification Logic ⋮ FIELD THEORY AND MODAL LOGIC BY SEMANTIC FIELDS TO MAKE UNCERTAINTY EMERGE FROM INFORMATION ⋮ A theoretical investigation into quantitative modal logic ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ On the relation between possibilistic logic and modal logics of belief and knowledge ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Belief fusion and revision: an overview based on epistemic logic semantics

Cites Work

• Strategies for modal resolution: Results and problems
• Proof methods for modal and intuitionistic logics
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• MOLOG: A system that extends PROLOG with modal logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Fuzzy sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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