Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).

Anders Schack-Nielsen Carsten Schürmann

Published in: IJCAR (2008)

Keyphrases

logical framework
concurrent systems
temporal logic
belief revision
distributed systems
inference rules
process algebra
model checking
reasoning tasks
petri net
formal specification
epistemic logic
normative systems
object oriented
modal logic
high level
software systems
bayesian networks
decision making