Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
61
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
DBLP62
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
DBLP63
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
DBLP64
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
DBLP65
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
DBLP66
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
DBLP67
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
DBLP68
TITLE: Distributed temporal logic for the analysis of security protocol models
AUTHORS: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLISHED: 2011, SOURCE: Theor. Comput. Sci., VOLUME: 412, ISSUE: 31
AUTHORS: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLISHED: 2011, SOURCE: Theor. Comput. Sci., VOLUME: 412, ISSUE: 31
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP69
TITLE: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTHORS: Bruno Conchinha; David Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
AUTHORS: Bruno Conchinha; David Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
INDEXED IN: 
WOS
WOS70
TITLE: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: 22nd International Conference on Rewriting Techniques and Applications(RTA) held as part of Federated Conference on Rewriting, Deduction, and Programming (RDP) in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), VOLUME: 10
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: 22nd International Conference on Rewriting Techniques and Applications(RTA) held as part of Federated Conference on Rewriting, Deduction, and Programming (RDP) in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), VOLUME: 10
INDEXED IN: WOS
WOS