Diese Seite auf DeutschCette page en françaisThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/policriti-a

Alberto Policriti (policriti-a)

Contributi a Philosophie.ch

No contributions yet

Bibliography

    van Benthem, Johan, D’Agostino, Giovanna, Montanari, Angelo and Policriti, Alberto. 1998. “Modal Deduction in Second-Order Logic and Set-Theory – II.” Studia Logica: An International Journal for Symbolic Logic 60: 387–420.
    Montanari, Angelo, Policriti, Alberto and Slanina, Matteo. 2000. “Supporting Automated Deduction in First-Order Modal Logics.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 547–556. San Francisco, California: Morgan Kaufmann Publishers.