A Closer Look at Some Subintuitionistic Logics.

Sergio A. Celani Ramon Jansana

Published in: Notre Dame J. Formal Log. (2001)

Keyphrases

expressive power
modal logic
inference rules
classical logic
case study
artificial intelligence
multiscale
search algorithm
information technology
decision procedures
nonmonotonic logics
propositional calculus
inheritance reasoning