A coalgebraic view on positive modal logic.

Alessandra Palmigiano

Published in: Theor. Comput. Sci. (2004)

Keyphrases

modal logic
temporal logic
decision procedures
nonmonotonic logics
inference rules
epistemic logic
positive and negative
conditional logic
explanation based generalization
situation calculus
default logic
modal operators
classical logic
multiple views
machine learning
model checking
sequent calculus