Login / Signup
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.
Paolo Baldi
Petr Cintula
Carles Noguera
Published in:
Int. J. Comput. Intell. Syst. (2020)
Keyphrases
</>
modal logic
proof theory
decision procedures
reasoning problems
default reasoning
default logic
automated reasoning
inference rules
temporal logic
nonmonotonic logics
nonmonotonic reasoning
fuzzy numbers
classical logic
situation calculus
possibility theory
theorem proving
belief revision
search algorithm
cp nets