Marcelo Esteban Coniglio

Scientific Areas

Address: IT – Lisboa
Instituto de Telecomunicações
IT - Av. Rovisco Pais, Torre Norte
Lisboa 1049-001 Lisboa , PORTUGAL

Tel:
Fax:

You are here: Members

Short CV

Home

Short CV

Personal Page

Networks and Multimedia

Marcelo Esteban Coniglio

Academic position: Associate Professor
Joining date: 31-12-2006
Role in IT: Researcher
Scientific Area: Networks and Multimedia
Group: Security and Quantum Information –Lx

Publications

Books [1]

- W. Carnielli ; Coniglio, M.; D. Gabbay; Gouveia, M.P.G.; Sernadas, C.; Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, Springer, Berlin, 2008. | BibTex

Book Chapters [2]

- W. Carnielli ; Coniglio, M.; J. Marcos; "Logics of formal inconsistency" - Chapter in Handbook of Philosophical Logic, volume 14, D. Gabbay and F. Guenthner, Kluwer Academic, , 2007.

- Caleiro, C.; W. Carnielli ; Coniglio, M.; J. Marcos; "Two's company: ''The hunbug of many logical values''" - Chapter in Logica Universalis, pages 169-189, J.-Y. BÃ©ziau, Birkhäuser, , 2005.

Papers in Journals [5]

- Coniglio, M.; Sernadas, A.; Sernadas, C.; "Preservation by fibring of the model property", Journal of Logic and Computation, Vol. 21, No. 2, pp. 375 - 402, April, 2011.
| BibTex

- Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.; "A graph-theoretic account of logics", Journal of Logic and Computation, Vol. 19, No. 19, pp. 1281 - 1320, January, 2009.
| BibTex

- Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.; "On graph-theoretic fibring of logics", Journal of Logic and Computation, Vol. 19, No. 19, pp. 1321 - 1357, January, 2009.
| BibTex

- Coniglio, M.; Sernadas, A.; Sernadas, C.; "Fibring logics with topos semantics", Journal of Logic and Computation, Vol. 13, No. 4, pp. 595 - 624, January, 2003.
| BibTex

- Caleiro, C.; W. Carnielli ; Coniglio, M.; Sernadas, A.; Sernadas, C.; "Fibring non-truth-functional logics: Completeness Preservation", Journal of Logic, Language, and Information, Vol. 12, No. 2, pp. 183 - 211, January, 2003.
| BibTex