Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic.

Benedikt Bollig Marie Fortin Paul Gastin

Published in: J. Comput. Syst. Sci. (2021)

Keyphrases

first order logic
finite state machines
propositional dynamic logic
dynamic logic
expressive power
inference rules
model checking

propositional logic
finite state automata
mazurkiewicz traces
theorem proving
inductive logic programming
probabilistic graphical models
representation language

knowledge representation
probabilistic reasoning
temporal logic
theorem prover
horn clauses
markov networks
reasoning about actions

hidden markov models
transitive closure
constraint databases
query language
database
object oriented
markov logic