The following pages link to (Q5556395):
Displaying 50 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Transition semantics for branching time (Q302231) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- The Fitch-Church paradox and first order modal logic (Q320315) (← links)
- Modal ontology and generalized quantifiers (Q373015) (← links)
- Indeterminism is a modal notion: branching spacetimes and Earman's pruning (Q383033) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Newtonian determinism to branching space-times indeterminism in two moves (Q393605) (← links)
- On individuals in branching histories (Q393606) (← links)
- On \(A\)- and \(B\)-theoretic elements of branching spacetimes (Q393612) (← links)
- A future for the thin red line (Q393615) (← links)
- Arthur Prior and medieval logic (Q395575) (← links)
- Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters (Q395577) (← links)
- A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later (Q395587) (← links)
- Worlds and times. NS and the master argument (Q411580) (← links)
- Domain science and engineering from computer science to the sciences of informatics. II: Science (Q464883) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- BH-CIFOL: case-intensional first order logic. II: Branching histories (Q484180) (← links)
- On possible worlds with modal parts. A semantics for modal interaction (Q484200) (← links)
- Alternatives to histories? Employing a local notion of modal consistency in branching theories (Q488365) (← links)
- The truth about the future (Q488366) (← links)
- On topological issues of indeterminism (Q488367) (← links)
- Agency and fictional truth: a formal study on fiction-making (Q514095) (← links)
- Prior's paradigm for the study of time and its methodological motivation (Q516393) (← links)
- Possible worlds in ``The craft of formal logic'' (Q516397) (← links)
- Objectivity without objects: a Priorian program (Q516408) (← links)
- Prior, Berkeley, and the Barcan formula (Q516410) (← links)
- Solving Prior's problem with a Priorean tool (Q516412) (← links)
- Prior on the semantics of modal and tense logic (Q516414) (← links)
- Prior and temporal sequences for natural language (Q516415) (← links)
- Partial and paraconsistent approaches to future contingents in tense logic (Q516419) (← links)
- Reichenbach, Prior and hybrid tense logic (Q516424) (← links)
- Where have all the Californian tense-logicians gone? (Q516426) (← links)
- Worlds, times and selves revisited (Q516427) (← links)
- Constructing situations and time (Q543532) (← links)
- John McCarthy's legacy (Q543573) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- A completeness proof of Kiczuk's logic of physical change (Q609650) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Fooling around with tenses (Q643107) (← links)
- Modal and temporal logics for abstract space-time structures (Q643108) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- A hierarchy of temporal logics with past (Q672329) (← links)
- Metric temporal logic with durations (Q673880) (← links)
- Actions as events (Q692178) (← links)
- Dynamic topological logic (Q705534) (← links)
