To the memory of Arthur Prior Formal properties of ‘now’
From MaRDI portal
Publication:5686019
DOI10.1111/j.1755-2567.1971.tb00071.xzbMath0269.02008OpenAlexW2171547847MaRDI QIDQ5686019
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
Related Items (35)
Time and determinism ⋮ Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY ⋮ Expressive power of ``now and ``then operators ⋮ Dynamic squares ⋮ Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] ⋮ Prior on an insolubilium of Jean Buridan ⋮ Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics ⋮ Predicate metric tense logic for `now' and `then' ⋮ Tracking and managing deemed abilities ⋮ A logic for epistemic two-dimensional semantics ⋮ Necessitarian propositions ⋮ BH-CIFOL: case-intensional first order logic. II: Branching histories ⋮ Cross-World Identity, Temporal Quantifiers and the Question of Tensed Contents ⋮ Arthur Prior and `now' ⋮ Where have all the Californian tense-logicians gone? ⋮ Time and modality in the logic of agency ⋮ Temporal reference in linear tense logic ⋮ Inexact knowledge with introspection ⋮ `Now' and `then' in tense logic ⋮ Two-dimensional modal logic ⋮ Presuppositions and quantifier domains ⋮ Worlds and times ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ Intentional identity interpreted: A case study of the relations among quantifiers, pronouns, and propositional attitudes ⋮ MODALITY AND EXPRESSIBILITY ⋮ Combining temporal logic systems ⋮ A Computational Learning Semantics for Inductive Empirical Knowledge ⋮ Axioms for actuality ⋮ Decidable fragments of first-order temporal logics ⋮ Temporal connectives versus explicit timestamps to query temporal databases ⋮ On the strength of temporal proofs ⋮ In the mood for S4: the expressive power of the subjunctive modal language in weak background logics ⋮ Tenses, time adverbs, and compositional semantic theory
This page was built for publication: To the memory of Arthur Prior Formal properties of ‘now’
