Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic.
Benedikt BolligMarie FortinPaul GastinPublished 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