Implicational (semilinear) logics I: a new hierarchy.

Petr Cintula Carles Noguera

Published in: Arch. Math. Log. (2010)

Keyphrases

real world
expressive power
hierarchical structure
modal logic
real time
propositional calculus
proof theory
class hierarchy
coalition logic
database
conditional logic
hierarchical structures
classical logic
lower level
default logic
inference rules
expert systems
decision making