• C. Caleiro, S. Marcelino, and J. Marcos. Combining fragments of classical logic: When are interaction principles needed? Soft Computing, in print.
    Get a preprint: 18-CMM-classicalinteractions.pdf 
  • A. Mordido and C. Caleiro. Probabilistic logic over equations and domain restrictions. Mathematical Structures in Computer Science, in print.
    Get a preprint: 15-MC-probeq.pdf 
  • S. Marcelino, C. Caleiro, and U. Rivieccio. Characterizing finite-valuedness. Fuzzy Sets and Systems, 345:113--125, 2018.
    Get a preprint: 17-CMR-finval.pdf 
  • C. Caleiro, F. Casal, and A. Mordido. Generalized probabilistic satisfiability. Electronic Notes in Theoretical Computer Science, 332:39--56, 2017.
    Get a preprint: 16-CCM-genpsat.pdf 
  • S. Marcelino and C. Caleiro. On the characterization of fibred logics, with applications to conservativity and finite-valuedness. Journal of Logic and Computation, 27(7):2063--2088, 2017.
    Get a preprint: 14-MC-conservativity.pdf 
  • C. Caleiro and A. Souto. Cybersecurity and obscurantism (in portuguese). Cyberlaw, 1:71--89, 2016.
    Get a preprint: 16-CS-cyberlaw.pdf 
  • S. Marcelino and C. Caleiro. Decidability and complexity of fibred logics without shared connectives. Logic Journal of the IGPL, 24(5):673--707, 2016.
    Get a preprint: 15-MC-decidability.pdf 
  • C. Caleiro, J. Marcos, and M. Volpe. Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theoretical Computer Science, 603:84--110, 2015.
    Get a preprint: 13-CMV-dyadictab.pdf 
  • C. Caleiro and R. Gonçalves. Abstract valuation semantics. Studia Logica, 101(4):677--712, 2013.
    Get a preprint: 10-CG-absval.pdf 
  • C. Caleiro, L. Viganò, and M. Volpe. On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators. Logica Universalis, 7(1):33--69, 2013.
    Get a preprint: 11-CVV-mosaics.pdf 
  • C. Caleiro and J. Marcos. Many-valuedness meets bivalence: using logical values in an effective way. Journal of Multiple-Valued Logic and Soft Computing, 19(1--3):51--70, 2012.
    Get a preprint: 10-CM-mvlsc.pdf 
  • D. Basin, C. Caleiro, J. Ramos, and L. Viganò. Distributed temporal logic for the analysis of security protocol models. Theoretical Computer Science, 412(31):4007--4043, 2011.
    Get a preprint: 10-BCRV-dtl4spa.pdf 
  • C. Caleiro and R. Gonçalves. Towards a behavioral algebraic theory of logical valuations. Fundamenta Informaticae, 106(2--4):191--209, 2011.
    Get a preprint: 08-CG-algebraicValuation.pdf 
  • C. Caleiro, P. Gouveia, and J. Ramos. Hierarchical logical consequence. Logic Journal of the IGPL, 19(4):544--565, 2011.
    Get a preprint: 07-CGR-hlc.pdf 
  • D. Basin, C. Caleiro, J. Ramos, and L. Viganò. Labelled tableaux for distributed temporal logic. Journal of Logic and Computation, 19:1245--1279, 2009.
    Get a preprint: 09-BCRV-dtl-tableauxlong.pdf 
  • C. Caleiro and R. Gonçalves. Behavioral algebraization of da Costa's $\mathcalC$-systems. Journal of Applied Non-Classical Logics, 19(2):127--148, 2009.
    Get a preprint: 08-CG-behAlgDaCosta.pdf 
  • C. Caleiro, R. Gonçalves, and M. Martins. Behavioral algebraization of logics. Studia Logica, 91(1):63--111, 2009.
    Get a preprint: 07-CGM-behAlgLogics.pdf 
  • B. Conchinha and C. Caleiro. Modeling and reasoning about an attacker with cryptanalytical capabilities. Electronic Notes in Theoretical Computer Science, 253(3):143--165, 2009.
    Get a preprint: 08-MC-cryptadv.pdf 
  • C. Caleiro and J. Ramos. From fibring to cryptofibring: a solution to the collapsing problem. Logica Universalis, 1(1):71--92, 2007.
    Get a preprint: 05-CR-fib2crypto.pdf 
  • C. Caleiro, L. Viganò, and D. Basin. On the semantics of Alice&Bob specifications of security protocols. Theoretical Computer Science, 367(1-2):88--122, 2006.
    Get a preprint: 05-CVB-expressiveness.pdf 
  • C. Caleiro, L. Viganò, and D. Basin. Deconstructing Alice and Bob. Electronic Notes in Theoretical Computer Science, 135(1):3--22, 2005. Preliminary version presented at ICALP'05 ARSPA Workshop.
    Get a preprint: 05-CVB-alice&bob.pdf 
  • C. Caleiro, L. Viganò, and D. Basin. Metareasoning about security protocols using distributed temporal logic. Electronic Notes in Theoretical Computer Science, 125(1):67--89, 2005. Preliminary version presented at IJCAR'04 ARSPA Workshop.
    Get a preprint: 04-CVB-fiblog15s2.pdf 
  • C. Caleiro, L. Viganò, and D. Basin. Relating strand spaces and distributed temporal logic for security protocol analysis. Logic Journal of the IGPL, 13(6):637--664, 2005.
    Get a preprint: 04-CVB-fiblog15s3.pdf 
  • C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring non-truth-functional logics: Completeness preservation. Journal of Logic, Language and Information, 12(2):183--211, 2003.
    Get a preprint: 00-CCCSS-fiblog8.ps  00-CCCSS-fiblog8.pdf 
  • H.-D. Ehrich and C. Caleiro. Specifying communication in distributed information systems. Acta Informatica, 36:591--616, 2000.
    Get a preprint: 98-EC-dis.ps 
  • A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 9(2):149--179, 1999.
    Get a preprint: 98-SSC-fiblog.ps 
  • A. Sernadas, C. Sernadas, and C. Caleiro. Denotational semantics of object specification. Acta Informatica, 35:729--773, 1998.
    Get a preprint: 98-SSC-osli2.ps 
  • A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217--247, 1997.
    Get a preprint: 96-SSC-synclog.ps 
  • C. Caleiro, G. Saake, and A. Sernadas. Deriving liveness goals from temporal logic specifications. Journal of Symbolic Computation, 22:521--553, 1996.
    Get a preprint: 95-CSS-gdos.ps 
  • C. Caleiro. Operational semantics of temporal object specification. INESC Journal on Junior Activities in Science and Technology, 1(1):7--35, 1994.