Simulating polyadic modal logics by monadic ones.

George Goguadze Carla Piazza Yde Venema

Published in: J. Symb. Log. (2003)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
datalog queries
epistemic logic
default logic
deductive databases
datalog programs
nonmonotonic logics
situation calculus
fuzzy logic
model checking
default reasoning
autoepistemic logic