Login / Signup
Coalgebraic Modal Logic Beyond Sets.
Bartek Klin
Published in:
MFPS (2007)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
conditional logic
epistemic logic
classical logic
dynamic logic
nonmonotonic logics
situation calculus
explanation based generalization
default logic
model checking
object oriented
horn clauses
modal operators
definite clause
database systems