Functional Specification of Synchronized Processes Based on Modal Logic.

Naoki Yonezaki Takao Katayama

Published in: ICSE (1982)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
dynamic logic
default logic
situation calculus
formal specification
epistemic logic
modal operators
nonmonotonic logics
conditional logic
prime implicates
explanation based generalization
expert systems
model checking
logic programming