Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 73



21
TITLE: Decidability and complexity of fibred logics without shared connectives  Full Text
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
22
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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: An Equation-Based Classical Logic
AUTHORS: Andreia Mordido; Carlos Caleiro ;
PUBLISHED: 2015, SOURCE: 22nd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, VOLUME: 9160
INDEXED IN: Scopus WOS
24
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
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
25
TITLE: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics  Full Text
AUTHORS: Carlos Caleiro ; Joao Marcos; Marco Volpe;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 603
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: A Labeled Deduction System for the Logic UB  Full Text
AUTHORS: Carlos Caleiro ; Luca Vigano; Marco Volpe;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Temporal Representation and Reasoning (TIME) in 2013 20th International Symposium on Temporal Representation and Reasoning (TIME)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
27
TITLE: Abstract Valuation Semantics  Full Text
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
28
TITLE: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators  Full Text
AUTHORS: Caleiro, C ; Vigano, L; Volpe, M;
PUBLISHED: 2013, SOURCE: Logica Universalis, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: Symbolic probabilistic analysis of off-line guessing
AUTHORS: Conchinha, B; Basin, D; Caleiro, C ;
PUBLISHED: 2013, SOURCE: 18th European Symposium on Research in Computer Security, ESORICS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8134 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
30
TITLE: Classic-like cut-based tableau systems for finite-valued logics
AUTHORS: Volpe, M; Marcos, J; Caleiro, C ;
PUBLISHED: 2012, SOURCE: 19th International Workshop on Logic, Language, Information and Computation, WoLLIC 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7456 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 3 of 8. Total results: 73.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service