T W completeness

DOI10.1023/A:1017942520078MaRDI QIDQ1362587zbMATH OpenFDO

Authors Franz von Kutschera

Publication date 26 October 1997

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

Full work available at URL https://doi.org/10.1023/A:1017942520078

zbMATH Keywords

\(\text{T}\times\text{W}\) logicagencyaxiomatizationcausationcombination of tense logic and modal logiccompletenessconditionals

Mathematics Subject Classification ID

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

Recommendations

• T W epistemic modality
• A Gabbay-rule free axiomatization of T W validity
• Combinations of tense and modality for predicate logic
• Completeness Theorems for Temporal Logics TΩ and □TΩ

Cites work

• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Causation
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 1536560 (Why is no real title available?)

Cited in

(17)

• A decidable temporal logic of parallelism
• A Gabbay-rule free axiomatization of T W validity
• Combinations of tense and modality for predicate logic
• Propositional 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
• scientific article; zbMATH DE number 6538188 (Why is no real title available?)
• scientific article; zbMATH DE number 1258308 (Why is no real title available?)
• Temporal STIT logic and its application to normative reasoning
• T W epistemic modality
• 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
• Completeness of tableau calculi for two-dimensional hybrid logics
• Quantified temporal alethic boulesic doxastic logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1362587)