A First Approach to Abstract Modal Logics.

Josep Maria Font Ventura Verdú

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
situation calculus
dynamic logic
default logic
classical logic
high level
model checking
conditional logic
modal operators
sequent calculus
first order logic
search algorithm