To the memory of Arthur Prior Formal properties of ‘now’
From MaRDI portal
Publication:5686019
Cited in
(38)- Prior on an insolubilium of Jean Buridan
- A logic for epistemic two-dimensional semantics
- 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'
- Cross-world identity, temporal quantifiers and the question of tensed contents
- Time and modality in the logic of agency
- 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
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
- Two-dimensional modal logic
- Inexact knowledge with introspection
- Presuppositions and quantifier domains
- Worlds and times
- Intentional identity interpreted: A case study of the relations among quantifiers, pronouns, and propositional attitudes
- In the mood for S4: the expressive power of the subjunctive modal language in weak background logics
- Time and Indexicality in Buridan’s Concept of Logical Consequence
- A computational learning semantics for inductive empirical knowledge
- 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
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)
