T \(\times\) W completeness

DOI10.1023/A:1017942520078zbMath0873.03023MaRDI QIDQ1362587

Franz von Kutschera

Publication date: 26 October 1997

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

zbMATH Keywords

completenesscausationconditionalsaxiomatizationagency\(\text{T}\times\text{W}\) logiccombination of tense logic and modal logic

Mathematics Subject Classification ID

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

Related Items (13)

Quantified temporal alethic boulesic doxastic logic ⋮ A decidable temporal logic of parallelism ⋮ Temporal logic and its application to normative reasoning ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ Axiomatising the Prior future in predicate logic ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Fooling around with tenses ⋮ Indistinguishability, choices, and logics of agency ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ A Gabbay-rule free axiomatization of \(T\times W\) validity ⋮ Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation ⋮ Combinations of tense and modality for predicate logic ⋮ Propositional \(\text Q\)-logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Causation

This page was built for publication: T \(\times\) W completeness