Moment/History Duality in Prior's Logics of Branching-Time.
Alberto ZanardoPublished in: Synth. (2006)
Keyphrases
- epistemic logic
- modal logic
- temporal logic
- expressive power
- prior knowledge
- linear programming
- inference rules
- model checking
- prior information
- information systems
- neural network
- image segmentation
- temporal reasoning
- historical information
- probabilistic model
- database
- social networks
- information retrieval
- default logic
- bayesian methods
- databases