On the Existence of Continua of Logics Between Some Intermediate Predicate Logics.

Dmitrij P. Skvortsov

Published in: Stud Logica (2000)

Keyphrases

expressive power
inference rules
modal logic
propositional calculus
classical logic
database
propositional dynamic logic
conditional logic
first order logic
mobile robot
logic programs
knowledge representation
default logic
nonmonotonic logics
decision making
real world
data sets