PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.
Karsten MartinyRalf MöllerPublished in: J. Artif. Intell. Res. (2016)
Keyphrases
- temporal logic
- modal operators
- epistemic logic
- modal logic
- model checking
- multi agent systems
- temporal epistemic
- coalition logic
- computation tree logic
- belief revision
- inference rules
- model checker
- probabilistic knowledge
- linear temporal logic
- predicate logic
- satisfiability problem
- bounded model checking
- concurrent systems
- mazurkiewicz traces
- nonmonotonic logics
- probabilistic logic
- verification method
- temporal knowledge
- linear time temporal logic
- multi agent
- reactive systems
- formal verification
- transition systems
- cooperative
- knowledge representation
- automata theoretic
- formal specification language
- formal methods