Patrick Schindler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1970

1 Patrick Schindler: Tense Logic for Discrete Future Time. J. Symb. Log. 35(1): 105-118 (1970)