Carlos Caleiro

According to our database, Carlos Caleiro authored at least 74 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Modular Many-Valued Semantics for combined Logics.

Carlos Caleiro, Sérgio Marcelino

J. Symb. Log., 2024

2023

Some more theorems on structural entailment relations and non-deterministic semantics.

Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio

CoRR, 2023

2022

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS.

Hugo Albuquerque, Carlos Caleiro

Bull. Symb. Log., December, 2022

A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery.

João Saúde, Guilherme Ramos, Ludovico Boratto, Carlos Caleiro

ACM Trans. Knowl. Discov. Data, 2022

Computational properties of finite PNmatrices.

Pedro Filipe, Sérgio Marcelino, Carlos Caleiro

J. Log. Comput., 2022

Monadicity of Non-deterministic Logical Matrices is Undecidable.

Pedro Filipe, Carlos Caleiro, Sérgio Marcelino

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Computational Properties of Partial Non-deterministic Matrices and Their Logics.

Sérgio Marcelino, Carlos Caleiro, Pedro Filipe

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021

Axiomatizing non-deterministic many-valued generalized consequence relations.

Sérgio Marcelino, Carlos Caleiro

Synth., 2021

What is a logical theory? On theories containing assertions and denials.

Carolina Blasio, Carlos Caleiro, João Marcos

Synth., 2021

On the index of convergence of a class of Boolean matrices with structural properties.

Guilherme Ramos, Sérgio Pequito, Carlos Caleiro

Int. J. Control, 2021

2020

On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms.

Guilherme Ramos, Ludovico Boratto, Carlos Caleiro

Inf. Process. Manag., 2020

Infectious semantics and analytic calculi for even more inclusion logics.

Carlos Caleiro, Sérgio Marcelino, Pedro Filipe

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity.

Guilherme Ramos, Carlos Caleiro

Proceedings of the Bias and Social Aspects in Search and Recommendation, 2020

2019

Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Theor. Comput. Sci., 2019

Combining fragments of classical logic: When are interaction principles needed?

Carlos Caleiro, Sérgio Marcelino, João Marcos

Soft Comput., 2019

Semi-BCI Algebras.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro

J. Multiple Valued Log. Soft Comput., 2019

Probabilistic logic over equations and domain restrictions.

Andreia Mordido, Carlos Caleiro

Math. Struct. Comput. Sci., 2019

Analytic Calculi for Monadic PNmatrices.

Carlos Caleiro, Sérgio Marcelino

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Characterizing finite-valuedness.

Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio

Fuzzy Sets Syst., 2018

The robust minimal controllability problem for switched linear continuous-time systems.

Guilherme Ramos, Sérgio Pequito, Carlos Caleiro

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Compositional Meaning in Logic.

Carlos Caleiro, Luca Viganò

Logica Universalis, 2017

On the characterization of fibred logics, with applications to conservativity and finite-valuedness.

Sérgio Marcelino, Carlos Caleiro

J. Log. Comput., 2017

Robust reputation-based ranking on multipartite rating networks.

João Saúde, Guilherme Ramos, Carlos Caleiro, Soummya Kar

CoRR, 2017

Recommendation via matrix completion using Kolmogorov complexity.

Guilherme Ramos, João Saúde, Carlos Caleiro, Soummya Kar

CoRR, 2017

Disjoint Fibring of Non-deterministic Matrices.

Sérgio Marcelino, Carlos Caleiro

Proceedings of the Logic, Language, Information, and Computation, 2017

Classical Generalized Probabilistic Satisfiability.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reputation-Based Ranking Systems and Their Resistance to Bribery.

João Saúde, Guilherme Ramos, Carlos Caleiro, Soummya Kar

Proceedings of the 2017 IEEE International Conference on Data Mining, 2017

Merging Fragments of Classical Logic.

Carlos Caleiro, Sérgio Marcelino, João Marcos

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Decidability and complexity of fibred logics without shared connectives.

Sérgio Marcelino, Carlos Caleiro

Log. J. IGPL, 2016

Generalized Probabilistic Satisfiability.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2015

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.

Carlos Caleiro, João Marcos, Marco Volpe

Theor. Comput. Sci., 2015

An Equation-Based Classical Logic.

Andreia Mordido, Carlos Caleiro

Proceedings of the Logic, Language, Information, and Computation, 2015

2013

Abstract Valuation Semantics.

Carlos Caleiro, Ricardo Gonçalves

Stud Logica, 2013

On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators.

Carlos Caleiro, Luca Viganò, Marco Volpe

Logica Universalis, 2013

A Labeled Deduction System for the Logic UB.

Carlos Caleiro, Luca Viganò, Marco Volpe

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Symbolic Probabilistic Analysis of Off-Line Guessing.

Bruno Conchinha, David A. Basin, Carlos Caleiro

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay.

Carlos Caleiro, João Marcos

J. Multiple Valued Log. Soft Comput., 2012

Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.

Marco Volpe, João Marcos, Carlos Caleiro

Proceedings of the Logic, Language, Information and Computation, 2012

2011

Distributed temporal logic for the analysis of security protocol models.

David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò

Theor. Comput. Sci., 2011

Hierarchical logical consequence.

Carlos Caleiro, Paula Gouveia, Jaime Ramos

Log. J. IGPL, 2011

Towards a Behavioral Algebraic Theory of Logical Valuations.

Carlos Caleiro, Ricardo Gonçalves

Fundam. Informaticae, 2011

FAST: An Efficient Decision Procedure for Deduction and Static Equivalence.

Bruno Conchinha, David A. Basin, Carlos Caleiro

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Two Many Values: An Algorithmic Outlook on Suszko's Thesis.

Carlos Caleiro, João Marcos

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Efficient Decision Procedures for Message Deducibility and Static Equivalence.

Bruno Conchinha, David A. Basin, Carlos Caleiro

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

Behavioral Algebraization of Logics.

Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins

Stud Logica, 2009

Labelled Tableaux for Distributed Temporal Logic.

David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò

J. Log. Comput., 2009

Behavioral algebraization of da Costa's C-systems.

Carlos Caleiro, Ricardo Gonçalves

J. Appl. Non Class. Logics, 2009

Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities.

Bruno Montalto, Carlos Caleiro

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Classic-Like Analytic Tableaux for Finite-Valued Logics.

Carlos Caleiro, João Marcos

Proceedings of the Logic, 2009

Algebraic Valuations as Behavioral Logical Matrices.

Carlos Caleiro, Ricardo Gonçalves

Proceedings of the Logic, 2009

2008

A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL.

David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

2007

From Fibring to Cryptofibring. A Solution to the Collapsing Problem.

Carlos Caleiro, Jaime Ramos

Logica Universalis, 2007

Combining Classical and Intuitionistic Implications.

Carlos Caleiro, Jaime Ramos

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006

On the semantics of Alice&Bob specifications of security protocols.

Carlos Caleiro, Luca Viganò, David A. Basin

Theor. Comput. Sci., 2006

On the Algebraization of Many-Sorted Logics.

Carlos Caleiro, Ricardo Gonçalves

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Quantum Institutions.

Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis.

Carlos Caleiro, Luca Viganò, David A. Basin

Log. J. IGPL, 2005

Deconstructing Alice and Bob.

Carlos Caleiro, Luca Viganò, David A. Basin

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

Fibring Logics: Past, Present and Future.

Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Metareasoning about Security Protocols using Distributed Temporal Logic.

Carlos Caleiro, Luca Viganò, David A. Basin

Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, 2004

Cryptomorphisms at Work.

Carlos Caleiro, Jaime Ramos

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003

Fibring Non-Truth-Functional Logics: Completeness Preservation.

Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

J. Log. Lang. Inf., 2003

2002

Completeness Results for Fibred Parchments: Beyond the Propositional Base.

Carlos Caleiro, Paula Gouveia, Jaime Ramos

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

Combining Logics: Parchments Revisited.

Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Specifying Communication in Distributed Information Systems.

Hans-Dieter Ehrich, Carlos Caleiro

Acta Informatica, 2000

1999

Fibring of Logics as a Categorial Construction.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

J. Log. Comput., 1999

1998

Denotational Semantics of Object Specification.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Acta Informatica, 1998

Parameterisation of Logics.

Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Categorial Fibring of Logics with Terms and Binding Operators.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

Logics for Specifying Concurrent Information Systems.

Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997

Synchronization of Logics.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Stud Logica, 1997

Synchronization of Logics with Mixed Rules: Completeness Preservation.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Proceedings of the Algebraic Methodology and Software Technology, 1997

A Linear Temporal Logic Approach to Objects with Transactions.

Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Deriving Liveness Goals from Temporal Logic Specifications.

Carlos Caleiro, Gunter Saake, Amílcar Sernadas

J. Symb. Comput., 1996