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
Citations number
32
Categorie Soggetti
Philosophy
Journal title
Journal of philosophical logic → ACNP
ISSN journal
00223611
Volume
25
Issue
1
Year of publication
1996
Pages
45 - 100
Database
ISI
SICI code
0022-3611(1996)25:1<45:DTLWII>2.0.ZU;2-T