Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
Lennart ÅqvistVolume:
25
Language:
english
Pages:
56
DOI:
10.1007/bf00357842
Date:
February, 1996
File:
PDF, 2.67 MB
english, 1996