To the memory of Arthur Prior Formal properties of ‘now’
From MaRDI portal
Publication:5686019
DOI10.1111/J.1755-2567.1971.TB00071.XzbMATH Open0269.02008OpenAlexW2171547847MaRDI QIDQ5686019FDOQ5686019
Publication date: 1971
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1971.tb00071.x
Cited In (38)
- Prior on an insolubilium of Jean Buridan
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Time and determinism
- Temporal reference in linear tense logic
- Axioms for actuality
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]
- BH-CIFOL: case-intensional first order logic. II: Branching histories
- Necessitarian propositions
- First-order expressivity for S5-models: Modal vs. two-sorted languages
- Temporal connectives versus explicit timestamps to query temporal databases
- Predicate metric tense logic for `now' and `then'
- Time and modality in the logic of agency
- A Computational Learning Semantics for Inductive Empirical Knowledge
- Expressive power of ``now and ``then operators
- Dynamic squares
- Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Combining temporal logic systems
- Two-dimensional modal logic
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
- Inexact knowledge with introspection
- Cross-World Identity, Temporal Quantifiers and the Question of Tensed Contents
- Presuppositions and quantifier domains
- Worlds and times
- Intentional identity interpreted: A case study of the relations among quantifiers, pronouns, and propositional attitudes
- Time and Indexicality in Buridan’s Concept of Logical Consequence
- In the mood for S4: the expressive power of the subjunctive modal language in weak background logics
- Tenses, time adverbs, and compositional semantic theory
- `Now' and `then' in tense logic
- Tracking and managing deemed abilities
- Decidable fragments of first-order temporal logics
- Arthur Prior and `now'
- Where have all the Californian tense-logicians gone?
- A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY
- Counterpart theory and actuality
- Questions \& indexicality
- MODALITY AND EXPRESSIBILITY
- On the strength of temporal proofs
- A logic for epistemic two-dimensional semantics
This page was built for publication: To the memory of Arthur Prior Formal properties of ‘now’
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5686019)
