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

Publication details

Go back
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="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" 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
/publications/view.php?code=788fbb6482eef7e56633b266b46c8c44
/publications/view.php?code=Kah06
Go back
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

Fundacao_FCT