Rank-1 Modal Logics are Coalgebraic.

Lutz Schröder Dirk Pattinson

Published in: J. Log. Comput. (2010)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
classical logic
epistemic logic
situation calculus
default logic
ranked list
multi agent
cooperative
model checking
incomplete information
theorem proving