AAAAAA

   
Results: 1-1 |
Results: 1
DISCRETE TENSE LOGIC WITH INFINITARY INFERENCE RULES AND SYSTEMATIC FRAME CONSTANTS - A HILBERT-STYLE AXIOMATIZATION
Authors: AQVIST L
Citation: L. Aqvist, DISCRETE TENSE LOGIC WITH INFINITARY INFERENCE RULES AND SYSTEMATIC FRAME CONSTANTS - A HILBERT-STYLE AXIOMATIZATION, Journal of philosophical logic, 25(1), 1996, pp. 45-100
Risultati: 1-1 |