Proof methods for reasoning about possibility and necessity
type: Item
instance of: scholarly article
title: Proof methods for reasoning about possibility and necessity
zbMATH Open document ID: 0786.68084
DOI: 10.1016/0888-613X(93)90019-A
published in: International Journal of Approximate Reasoning
publication date: 1994-05-15T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 480469
zbMATH Keywords: possibilistic logic
zbMATH Keywords: modal logic
zbMATH Keywords: Kripke semantics
zbMATH Keywords: uncertainty reasoning
zbMATH Keywords: fuzzy set
zbMATH Keywords: tableau method
zbMATH Keywords: natural deduction
author: Churn-Jung Liau
author: Bertrand I-peng Lin
MaRDI profile type: Publication
cites work: Q3994497
cites work: Fuzzy sets
cites work: Fuzzy sets in approximate reasoning. II: Logical approaches
cites work: Proof methods for modal and intuitionistic logics
cites work: Q4279076
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: Q5560258
cites work: Q5559220
cites work: Q3476790
cites work: Strategies for modal resolution: Results and problems
cites work: Handbook of philosophical logic. Volume II: Extensions of classical logic
cites work: Q4342094
cites work: MOLOG: A system that extends PROLOG with modal logic
description: scientific article; zbMATH DE number 480469