Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic.

Sergio A. Celani Ramon Jansana

Published in: Log. J. IGPL (1999)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
situation calculus
nonmonotonic logics
von neumann
linear programming
classical logic
positive and negative
deductive databases
conditional logic
digital topology
explanation based generalization