T × W Completeness
- 1 June 1997
- journal article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 26 (3) , 241-250
- https://doi.org/10.1023/a:1017942520078
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Temporal LogicPublished by Springer Nature ,1994
- CausationJournal of Philosophical Logic, 1993
- A finite axiomatization of the set of strongly valid Ockhamist formulasJournal of Philosophical Logic, 1985
- Combinations of Tense and ModalityPublished by Springer Nature ,1984
- Basic Tense LogicPublished by Springer Nature ,1984
- An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense FramesPublished by Springer Nature ,1981