- 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.