Pages that link to "Item:Q1918904"
From MaRDI portal
The following pages link to Temporal logic. From ancient ideas to artificial intelligence (Q1918904):
Displaying 32 items.
- Time and determinism (Q266653) (← links)
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Indeterminism is a modal notion: branching spacetimes and Earman's pruning (Q383033) (← links)
- Newtonian determinism to branching space-times indeterminism in two moves (Q393605) (← links)
- The problem of predestination: as a prelude to A. N. Prior's tense logic (Q395573) (← links)
- Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters (Q395577) (← links)
- Time and knowledge. Some reflections on Prior's analysis of the paradox of the prisoner (Q395582) (← links)
- A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later (Q395587) (← links)
- The truth about the future (Q488366) (← links)
- On topological issues of indeterminism (Q488367) (← links)
- Prior's paradigm for the study of time and its methodological motivation (Q516393) (← links)
- Reichenbach, Prior and hybrid tense logic (Q516424) (← links)
- Where have all the Californian tense-logicians gone? (Q516426) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Possibilities without possible worlds/histories (Q766292) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- Moment/history duality in Prior's logics of branching-time (Q857669) (← links)
- A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom (Q2219143) (← links)
- The mereotopology of time (Q2319892) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Tomorrow’s Sea-Battle and the Beginning of Temporal Logic (Q4611678) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Prior's Grappling with Peirce's Existential Graphs (Q5207923) (← links)
- Jerzy Łoś Positional Calculus and the Origin of Temporal Logic (Q5215505) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- Branching time, perfect information games, and backward induction (Q5954142) (← links)
- In What Sense is J.N. Findlay the Founding Father of Tense-logic? (Q6098655) (← links)
- Future contingencies and the arrow and flow of time in a non-deterministic world according to the temporal-modal system TM (Q6535322) (← links)
- Arthur N. Prior and the Lvov-Warsaw School (Q6650611) (← links)
