Fibring Logics, Dov M. Gabbay.

Amílcar Sernadas

Published in: J. Log. Lang. Inf. (2000)

Keyphrases

modal logic
decision procedures
temporal logic
expressive power
epistemic logic
inference rules
nonmonotonic logics
conditional logic
classical logic
default logic
situation calculus
neural network
data sets
data mining
dynamic logic