Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
51
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
DBLP52
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
DBLP53
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
DBLP54
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
DBLP55
TITLE: Abstract Valuation Semantics
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2013, SOURCE: Studia Logica, VOLUME: 101, ISSUE: 4
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2013, SOURCE: Studia Logica, VOLUME: 101, ISSUE: 4
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP56
TITLE: Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics
AUTHORS: Marco Volpe; João Marcos; Carlos Caleiro;
PUBLISHED: 2012, SOURCE: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, VOLUME: 7456
AUTHORS: Marco Volpe; João Marcos; Carlos Caleiro;
PUBLISHED: 2012, SOURCE: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, VOLUME: 7456
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP57
TITLE: Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay
AUTHORS: Carlos Caleiro; João Marcos;
PUBLISHED: 2012, SOURCE: Multiple-Valued Logic and Soft Computing, VOLUME: 19, ISSUE: 1-3
AUTHORS: Carlos Caleiro; João Marcos;
PUBLISHED: 2012, SOURCE: Multiple-Valued Logic and Soft Computing, VOLUME: 19, ISSUE: 1-3
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP58
TITLE: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, VOLUME: 10
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, VOLUME: 10
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP59
TITLE: Towards a Behavioral Algebraic Theory of Logical Valuations
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2011, SOURCE: Fundam. Inform., VOLUME: 106, ISSUE: 2-4
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2011, SOURCE: Fundam. Inform., VOLUME: 106, ISSUE: 2-4
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP60
TITLE: Hierarchical logical consequence
AUTHORS: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLISHED: 2011, SOURCE: Logic Journal of the IGPL, VOLUME: 19, ISSUE: 4
AUTHORS: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLISHED: 2011, SOURCE: Logic Journal of the IGPL, VOLUME: 19, ISSUE: 4
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP