Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
A proof-theoretic view of necessity
2006
Kah06
-
Journal
Reinhard Kahle
Synthese
-
-
148
3
-
-
-
-
-
Export formats
Reinhard Kahle, A proof-theoretic view of necessity, Synthese, Vol. 148, No. 3, 2006.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542_amp_cscd=77ac101e146691b5695b7a7bc91eeef0" class="author">Reinhard Kahle</a></b>, <u>A proof-theoretic view of necessity</u>, Synthese, Vol. 148, No. 3, 2006.
@article {Kah06, author = {Reinhard Kahle}, title = {A proof-theoretic view of necessity}, journal = {Synthese}, volume = {148}, number = {3}, year = {2006}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=788fbb6482eef7e56633b266b46c8c44
http://centria.di.fct.unl.pt/publications/view.php?code=Kah06
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento