Prediction in branching time logic (Q2720329)
From MaRDI portal
| File:Ambox important.svg | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Prediction in branching time logic |
scientific article; zbMATH DE number 1610975
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Prediction in branching time logic |
scientific article; zbMATH DE number 1610975 |
Statements
11 November 2002
0 references
tense logic
0 references
branching time
0 references
predicted future
0 references
logic of predictions
0 references
belief
0 references
Prediction in branching time logic (English)
0 references
The paper introduces the notion of ``predicted future'' which is meant to be the most plausible of all conceivable futures of a given moment in a branching-time temporal structure. While not necessarily linear, the predicted future must satisfy some natural consistency conditions, viz. that every moment \(t'\) between the current one and any future predicted moment \(t\) must be in the currently predicted future too, and \(t\) must also be in the predicted future at any such \(t'\). These conditions have been formalized in so-called ``P-frames'', and completely axiomatized by a ``minimal logic of predictions''.
0 references
