Branching time, indeterminism and tense logic - Unveiling the Prior-Kripke letters.
Thomas PlougPeter ØhrstrømPublished in: Synth. (2012)
Keyphrases
- modal logic
- temporal logic
- epistemic logic
- model checking
- inference rules
- classical logic
- nonmonotonic logics
- predicate logic
- prior knowledge
- model checker
- asynchronous circuits
- dynamic logic
- modal operators
- bayesian model
- logical framework
- prior information
- multi agent systems
- probability theory
- set theory
- database
- temporal reasoning
- logic programming
- data sets
- real time