Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.

Raul Fervari Francisco Trucco Beta Ziliani

Published in: DaLí (2019)

Keyphrases

equivalence relation
expressive power
modal logic
formal methods
real time
theorem prover
data sets
neural network
proof procedures
proof theory
classical logic
propositional calculus
nonmonotonic logics
rough set theory
knowledge based systems
case study
decision trees
social networks
genetic algorithm