Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
51
TITLE: Generalized Probabilistic Satisfiability
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
52
TITLE: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: J. Log. Comput., VOLUME: 27, ISSUE: 7
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: J. Log. Comput., VOLUME: 27, ISSUE: 7
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP53
TITLE: Compositional Meaning in Logic
AUTHORS: Carlos Caleiro; Luca Viganò;
PUBLISHED: 2017, SOURCE: Logica Universalis, VOLUME: 11, ISSUE: 3
AUTHORS: Carlos Caleiro; Luca Viganò;
PUBLISHED: 2017, SOURCE: Logica Universalis, VOLUME: 11, ISSUE: 3
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP54
TITLE: Decidability and complexity of fibred logics without shared connectives
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP55
TITLE: An equation-based classical logic
AUTHORS: Mordido, A; Caleiro, C;
PUBLISHED: 2015, SOURCE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
AUTHORS: Mordido, A; Caleiro, C;
PUBLISHED: 2015, SOURCE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID56
TITLE: An Equation-Based Classical Logic
AUTHORS: Andreia Mordido ; Carlos Caleiro;
PUBLISHED: 2015, SOURCE: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, VOLUME: 9160
AUTHORS: Andreia Mordido ; Carlos Caleiro;
PUBLISHED: 2015, SOURCE: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, VOLUME: 9160
57
TITLE: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
AUTHORS: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLISHED: 2015, SOURCE: Theor. Comput. Sci., VOLUME: 603
AUTHORS: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLISHED: 2015, SOURCE: Theor. Comput. Sci., VOLUME: 603
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP58
TITLE: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics PDF
AUTHORS: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1408.3775
AUTHORS: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1408.3775
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP59
TITLE: Symbolic Probabilistic Analysis of Off-Line Guessing
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2013, SOURCE: Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, VOLUME: 8134
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2013, SOURCE: Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, VOLUME: 8134
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP60
TITLE: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
AUTHORS: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLISHED: 2013, SOURCE: Logica Universalis, VOLUME: 7, ISSUE: 1
AUTHORS: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLISHED: 2013, SOURCE: Logica Universalis, VOLUME: 7, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP