Temporal reference in linear tense logic
This detailed paper presents a first-order theory, ET, within predicate linear tense logic (K4.\(3_t\)) which enables reference to individual times and in which `now' and `then' can be formalized. This theory contains a single short axiom in addition to those for first-order linear tense logic. That axiom is \(\exists x(\phi_N x\wedge G\sim\phi_N x)\), or simply \(\exists xNx\), where `\(Nx\)' abbreviates `\(\phi_Nx\wedge G\sim\phi_N x\)', for a single designated predicate \(\phi_N\). It is noteworthy that the reference to times does not require a special class of singular terms; all the work is done by regular individual variables and quantifiers and the predicate \(\phi_N\). The bulk of the paper establishes the expressive adequacy of ET and various properties of models in which the axiom is valid. This demonstrates that \(N\) itself possesses appropriate properties. This approach is then contrasted with other methods of extending the expressive capacity of predicate tense logic, and briefly generalized to other forms of modal and tense logics.
- `Now' and `then' in tense logic
- Counterfactuals and comparative possibility
- Hierarchies of modal and temporal logics with reference pointers
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 3151566 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- scientific article; zbMATH DE number 3315171 (Why is no real title available?)
- scientific article; zbMATH DE number 3351504 (Why is no real title available?)
- Modal logic
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- Modal logic with names
- Modal logic with subjunctive conditionals and dispositional predicates
- Modality and Mellor's McTaggart
- Multi-dimensional modal logic
- Naming worlds in modal and temporal logic
- Necessity and truth theories
- Nominal tense logic
- Physicalism, instrumentalism and the semantics of modal logic
- Quantifiers as modal operators
- To the memory of Arthur Prior Formal properties of ‘now’
- Two-dimensional modal logic
- Times in tense logic
- Refining temporal reference in event structures
- Axiomatising the Prior future in predicate logic
- Predicate metric tense logic for `now' and `then'
- Time, tense, truth
- A propositional logic of temporal connectives
- How much expressive power is needed for natural language temporal indexicality?
- Linear Tense Logics of Increasing Sets
- scientific article; zbMATH DE number 1989646 (Why is no real title available?)
- Tenses and truth-conditions: a plea for if-then-else
- Tense and temporal reference hybrid temporal logic
- scientific article; zbMATH DE number 1396690 (Why is no real title available?)
- Numerical quantification and temporal intervals: a span-er in the works for presentism?
- From \textit{counterfactual} conditionals to \textit{temporal} conditionals
- Nominal tense logic
This page was built for publication: Temporal reference in linear tense logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q965860)
