T \(\times\) W completeness
From MaRDI portal
Publication:1362587
DOI10.1023/A:1017942520078zbMath0873.03023MaRDI QIDQ1362587
Publication date: 26 October 1997
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
completeness; causation; conditionals; axiomatization; agency; \(\text{T}\times\text{W}\) logic; combination of tense logic and modal logic
03B45: Modal logic (including the logic of norms)
Related Items
Temporal logic and its application to normative reasoning, Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox, Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?, Fooling around with tenses, A decidable temporal logic of parallelism, A Gabbay-rule free axiomatization of \(T\times W\) validity, Combinations of tense and modality for predicate logic, Propositional \(\text Q\)-logic, Axiomatising the Prior future in predicate logic, Temporal alethic-deontic logic and semantic tableaux, Indistinguishability, choices, and logics of agency, Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
Cites Work