The logic of historical necessity as founded on two-dimensional modal tense logic

DOI10.1023/A:1004425728816zbMath0933.03015OpenAlexW2061393783MaRDI QIDQ1303792

Lennart Åqvist

Publication date: 2 November 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004425728816

zbMATH Keywords

possibilitycompletenesstense logic\(\text{T}\times \text{W}\) logicframe constantshistorical necessitytwo-dimensional modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items (5)

Quantified temporal alethic boulesic doxastic logic ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Quantified temporal alethic-deontic logic ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

This page was built for publication: The logic of historical necessity as founded on two-dimensional modal tense logic