Internal Models for Coalgebraic Modal Logics.

Published in: CMCS (2012)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
knowledge base
state space
dynamical systems
theorem proving