Topology and duality in modal logic.

Giovanni Sambin Virginia Vaccaro

Published in: Ann. Pure Appl. Log. (1988)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
linear programming
conditional logic
dynamic logic
nonmonotonic logics
situation calculus
autoepistemic logic
sequent calculus
description logic alc
multi agent
default logic
natural language