T W completeness
From MaRDI portal
Publication:1362587
DOI10.1023/A:1017942520078zbMATH Open0873.03023MaRDI QIDQ1362587FDOQ1362587
Authors: Franz von Kutschera 
Publication date: 26 October 1997
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Recommendations
conditionalscompletenessaxiomatizationcausationagency\(\text{T}\times\text{W}\) logiccombination of tense logic and modal logic
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- Title not available (Why is that?)
- Causation
Cited In (15)
- Fooling around with tenses
- Quantified temporal alethic boulesic doxastic logic
- Title not available (Why is that?)
- Temporal logic and its application to normative reasoning
- Indistinguishability, choices, and logics of agency
- Combinations of tense and modality for predicate logic
- Temporal alethic-deontic logic and semantic tableaux
- Propositional \(\text Q\)-logic
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
- Title not available (Why is that?)
- A decidable temporal logic of parallelism
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
- Axiomatising the Prior future in predicate logic
- A Gabbay-rule free axiomatization of \(T\times W\) validity
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)
