Prefinitely Axiomatizable Modal and Intermediate Logics.

Published in: Math. Log. Q. (1993)

Keyphrases

modal logic
nonmonotonic logics
temporal logic
inference rules
expressive power
decision procedures
epistemic logic
classical logic
conditional logic
kripke models
dynamic logic
computational properties
propositional logic
situation calculus
web services
propositional variables
databases