- C. Caleiro and S. Marcelino.
Analytic calculi for monadic PNmatrices.
In Logic, Language, Information and Computation (WoLLIC 2019), LNCS.
Springer, in print.
Get a preprint: 19-CM-axiomPNmatrices.pdf
- C. Caleiro, S. Marcelino, and J. Marcos.
Merging fragments of classical logic.
In Frontiers of Combining Systems (FroCoS 2017), Lecture Notes in
Artificial Intelligence. Springer-Verlag, in print.
Get a preprint:
17-CMM-frocos.pdf
- C. Caleiro and R. Gonçalves.
An algebraic perspective on valuation semantics (abstract).
To be published in the Bulletin of Symbolic Logic, in print.
Get a
preprint: 08-CG-AlgPerspValuation.pdf
- C. Caleiro and R. Gonçalves.
Behavioral algebraization of the $\mathcalC_n$ systems of da Costa
(abstract).
To be published in the Bulletin of Symbolic Logic, in print.
Get a
preprint: 08-CG-behAlgCSystems.pdf
- C. Caleiro, F. Casal, and A. Mordido.
Classical generalized probabilistic satisfiability.
In Proceedings of the 26th Intl. Joint Conf. on Artificial Intelligence
(IJCAI 2017), in print.
Get a preprint: 17-CCM-ijcai.pdf
- 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
- G. Ramos, S. Pequito, and C. Caleiro.
The robust minimal controllability problem for switched linear continuous-time
systems.
In American Control Conference (ACC), 2018, in print.
Get a
preprint: 18-RPC-acc.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
- S. Marcelino and C. Caleiro. Caleiro.
Disjoint fibring of non-deterministic matrices.
In J. Kennedy and R. de Queiroz, editors, WoLLIC 2017: Logic, Language,
Information, and Computation, volume 10388 of Lecture Notes in
Computer Science, pages 242--255. Springer-Verlag, 2017.
Get a
preprint: 17-MC-wollic.pdf
- J. Saúde, G. Ramos, C. Caleiro,
and S. Kar.
Reputation-based ranking systems and their resistance to bribery.
In Data Mining (ICDM), 2017 IEEE 17th International Conference on, pages
2374--8486, 2017.
Get a preprint: 17-SRCK-icdm.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
- S. Marcelino, C. Caleiro, and P. Baltazar.
Deciding theoremhood in fibred logics without shared connectives.
In A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic - Volume
2, Studies in Universal Logic, pages 387--406. Springer, 2015.
Get
a preprint: 14-MCB-theoremhood.pdf
- A. Mordido and C. Caleiro.
An equation-based classical logic.
In V. de Paiva, R. de Queiroz, L. Moss, D. Leivant, and A. Oliveira, editors,
WoLLIC 2015, Selected Papers, volume 9160 of Lecture Notes in
Computer Science, pages 38--52. Springer-Verlag, 2015.
Get a
preprint: 15-MC-eqbased.pdf
- C. Blasio, C. Caleiro, and J. Marcos.
On B-entailment.
In Abstracts of Logic Colloquium 2013. Bulletin of Symbolic Logic 20(2),
2014.
Get a preprint: 14-BCM-bent.pdf
- C. Caleiro and J. Ramos.
Classical and intuitionistic propositional logic.
In Abstracts of Logic Colloquium 2013. Bulletin of Symbolic Logic 20(2),
2014.
Get a preprint: 14-CR-cipl.pdf
- S. Marcelino, C. Caleiro, and P. Baltazar.
Conservativeness and decidability of fibred logics.
In Abstracts of Logic Colloquium 2013. Bulletin of Symbolic Logic 20(2),
2014.
Get a preprint: 14-MCB-lcol.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.
A labeled deduction system for the logic UB.
In Proceedings of the 20th Intl. Symp. on Temporal Representation And
Reasoning (TIME 2013), pages 45--53. IEEE Computer Society Press,
2013.
Get a preprint: articleDetails.jsp?arnumber=6786795
- 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
- B. Conchinha, D. Basin, and C. Caleiro.
FAST - an efficient decision procedure for deduction and static
equivalence.
In M. Schmidt-Schauss, editor, Proceedings of the 22nd Intl. Conf. on
Rewriting Techniques and Applications (RTA 2011), volume 10, pages
11--20. LIPIcs - Leibniz Int. Proc. in Informatics, 2013.
Get a
preprint: 29.pdf
- B. Conchinha, D. Basin, and C. Caleiro.
Symbolic probabilistic analysis of off-line guessing.
In K. Mayes, J. Crampton, and S. Jajodia, editors, European Symposium on
Research in Computer Security (ESORICS 2013), volume 8134 of Lecture
Notes in Computer Science, pages 363--380. Springer-Verlag,
2013.
Get a preprint: 13-CBC-esoricsfull.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
- C. Caleiro and A. Sernadas.
Fibring logics.
In J.-Y. Béziau, editor, Universal Logic: An Anthology (From Paul Hertz
to Dov Gabbay), pages 389--396. Birkhauser, 2012.
Get a
preprint: 09-CS-anthology.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
- B. Conchinha, D. Basin, and C. Caleiro.
Efficient decision procedures for message deducibility and static equivalence.
In P. Degano, S. Etale, and J. Guttman, editors, 7th International Workshop
on Formal Aspects of Security and Trust, volume 6561 of Lecture Notes
in Computer Science, pages 34--49. 2011.
Get a preprint: 10-CBC-efficient.pdf
- C. Caleiro and J. Marcos.
Two many values: An algorithmic outlook on Suszko's thesis.
In Proceedings of the 40th Intl.Symp. on Many-Valued Logics (ISMVL
2010). IEEE Computer Society Press, 2010.
Get a preprint: 10-CM-ismvl.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.
Algebraic valuations as behavioral logical matrices.
In H. Ono e R. de Queiroz M. Kanazawa, editor, WoLLIC 2009, Selected
Papers, volume 5514 of Lecture Notes in Artificial Intelligence,
pages 13--25. Springer, 2009.
Get a preprint: 09-CG-AlgValuations.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 and J. Marcos.
Classic-like analytic tableaux for finite-valued logics.
In H. Ono e R. de Queiroz M. Kanazawa, editor, WoLLIC 2009, Selected
Papers, volume 5514 of Lecture Notes in Artificial Intelligence,
pages 268--280. Springer, 2009.
Get a preprint: 09-CM-tableaux.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
- D. Basin, C. Caleiro, J. Ramos, and
L. Viganò.
A labeled tableaux for the distributed temporal logic DTL.
In Proceedings of the 15th Intl.Symp. on Temporal Representation and
Reasoning (TIME 2008), pages 101--109. IEEE Computer Society Press,
2008.
Get a preprint: 07-BCRV-dtl-tableaux.pdf
- C. Caleiro and R. Gonçalves.
On the algebraization of many-sorted logics.
In J. Fiadeiro and P.-Y. Schobbens, editors, Recent Trends in Algebraic
Development Techniques - Selected Papers, volume 4409 of Lecture Notes
in Computer Science, pages 21--36. Springer, 2007.
Get a
preprint: 06-CG-manysorted.pdf
- C. Caleiro and J. Ramos.
Combining classical and intuitionistic implications.
In B. Konev and F. Wolter, editors, Frontiers of Combining Systems 07,
Lecture Notes in Artificial Intelligence, pages 118--132. Springer,
2007.
Get a preprint: 07-CR-classint-imp.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, P. Mateus, A. Sernadas, and
C. Sernadas.
Quantum institutions.
In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, editors, Algebra,
Meaning, and Computation -- Essays Dedicated to Joseph A. Goguen on the
Occasion of His 65th Birthday, volume 4060 of Lecture Notes in
Computer Science, pages 50--64. Springer, 2006.
Get a preprint:
05-CMSS-quantlog06.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 and R. Gonçalves.
Equipollent logical systems.
In J.-Y. Béziau, editor, Logica Universalis, pages 99--112.
Birkhäuser, 2005.
Get a preprint: 05-CG-equipollence.pdf
- C. Caleiro and J. Ramos.
Cryptomorphisms at work.
In J. Fiadeiro, P. Mosses, and F. Orejas, editors, Recent Trends in
Algebraic Development Techniques - Selected Papers, volume 3423 of
Lecture Notes in Computer Science, pages 45--60. Springer,
2005.
Get a preprint: 04-CR-fiblog17.ps
04-CR-fiblog17.pdf
- C. Caleiro, W. A.
Carnielli, M. E. Coniglio, and J. Marcos.
Two's company: The humbug of many logical values.
In J.-Y. Béziau, editor, Logica Universalis, pages 169--189.
Birkhäuser, 2005.
Get a preprint: 05-CCCM-dyadic.pdf
- C. Caleiro, W. A. Carnielli,
J. Rasga, and C. Sernadas.
Fibring of logics as a universal construction.
In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd
Edition, volume 13, pages 123--187. Springer, 2005.
Get a
preprint: 04-CCRS-fiblog23.pdf
- C. Caleiro, A. Sernadas, and C. Sernadas.
Fibring logics: Past, present and future.
In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods,
editors, We Will Show Them: Essays in Honour of Dov Gabbay, Volume
One, pages 363--388. King's College Publications, 2005.
Get a
preprint: 05-CSS-fiblog27.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 and J. Ramos.
Cryptofibring.
In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings
of CombLog'04, Workshop on Combination of Logics: Theory and
Applications, pages 87--92, 1049-001 Lisboa, Portugal, 2004. Departamento
de Matemática, Instituto Superior Técnico.
Extended abstract.
Get a preprint: 04-CR-fiblog25s.pdf
- C. Caleiro, L. Viganò, and D. Basin.
Towards a metalogic for security protocol analysis.
In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings
of CombLog'04, Workshop on Combination of Logics: Theory and
Applications, pages 187--196, 1049-001 Lisboa, Portugal, 2004.
Departamento de Matemática, Instituto Superior Técnico.
Extended abstract.
Get a preprint: 04-CVB-fiblog15s1.pdf
- J. Carmo, A. Sernadas, C. Sernadas,
F. M. Dionísio, and C. Caleiro.
Introdução à Programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition).
IST Press, 2004.
- 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
- C. Caleiro, P. Gouveia, and J. Ramos.
Completeness results for fibred parchments: Beyond the propositional base.
In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in
Algebraic Development Techniques - Selected Papers, volume 2755 of
Lecture Notes in Computer Science, pages 185--200. Springer,
2003.
Get a preprint: 03-CGR-fiblog16.ps
03-CGR-fiblog16.pdf
- C. Caleiro and J. Marcos.
Non-truth-functional fibred semantics.
In H. R. Arabnia, editor, Proceedings of the International Conference on
Artificial Intelligence (IC-AI'2001), volume II, pages 841--847. CSREA
Press, Athens GA, USA, 2001.
Get a preprint: 01-CM-fiblog10.ps
01-CM-fiblog10.pdf
- C. Caleiro, P. Mateus, J. Ramos, and
A. Sernadas.
Combining logics: Parchments revisited.
In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development
Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer
Science, pages 48--70. Springer, 2001.
Get a preprint: 01-CMRS-fiblog9.ps
01-CMRS-fiblog9.pdf
- C. Caleiro.
Combining Logics.
PhD thesis, IST, Universidade Técnica de Lisboa, 2000.
Supervised by A. Sernadas.
Get a preprint: 00-C-PhDthesis.ps
00-C-PhDthesis.dvi
- 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, C. Caleiro, and
T. Mossakowski.
Categorial fibring of logics with terms and binding operators.
In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2,
pages 295--316. Research Studies Press, 2000.
Get a preprint: 98-SSCM-fiblog2.ps
- C. Caleiro, C. Sernadas, and A. Sernadas.
Parameterisation of logics.
In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques -
Selected Papers, volume 1589 of Lecture Notes in Computer Science,
pages 48--62. Springer, 1999.
Get a preprint: 98-CSS-paramlog.ps
- J. Carmo, A. Sernadas, C. Sernadas,
F. M. Dionísio, and C. Caleiro.
Introdução à Programação em Mathematica (Introduction to
Programming in Mathematica).
IST Press, 1999.
- 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
- H.-D. Ehrich, C. Caleiro, A. Sernadas,
and G. Denker.
Logics for specifying concurrent information systems.
In J. Chomicki and G. Saake, editors, Logic for Databases and Information
Systems, pages 167--198. Kluwer Academic Publishers, 1998.
Get a
preprint: 97-ECSD-dtl.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
- G. Denker, J. Ramos, C. Caleiro, and
A. Sernadas.
A linear temporal logic approach to objects with transactions.
In M. Johnson, editor, Algebraic Methodology and Software Technology,
volume 1349 of Lecture Notes in Computer Science, pages 170--184.
Springer, 1997.
Get a preprint: 97-DRCS-tosl.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
- A. Sernadas, C. Sernadas, and C. Caleiro.
Synchronization of logics with mixed rules: Completeness preservation.
In M. Johnson, editor, Algebraic Methodology and Software Technology,
volume 1349 of Lecture Notes in Computer Science, pages 465--478.
Springer, 1997.
Get a preprint: 97-SSC-synclogII.ps
- C. Caleiro.
Comunidades distribuídas de objectos (Distributed object communities).
Master's thesis, IST, Universidade Técnica de Lisboa, 1996.
Supervised by A. Sernadas.
- 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.
On the relationship between operational and denotational semantics of temporal
logic specification of object behaviour.
In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers,
pages 69--83. World Scientific Publishers, 1995.
Get a preprint: 95-C-opden.ps
- C. Caleiro and R. Gonçalves.
On the algebraization of valuation semantics.
Preprint, CLC, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 2005.
Presented at 1st World Congress on Universal Logic, Montreux, Switzerland,
March 31 - April 3, 2005. Extended abstract.
Get a preprint: 05-CG-valuation.pdf
- C. Caleiro, W. A.
Carnielli, M. E. Coniglio, and J. Marcos.
Dyadic semantics for many-valued logics.
Research report, CLC, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 2003.
Presented at III World Congress on Paraconsistency, Toulouse, France, July
28-31, 2003.
Get a preprint: 03-CCCM-dyadic2.ps
03-CCCM-dyadic2.pdf
- C. Caleiro, W. A.
Carnielli, M. E. Coniglio, and J. Marcos.
Suszko's Thesis and dyadic semantics.
Research report, CLC, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 2003.
Presented at III World Congress on Paraconsistency, Toulouse, France, July
28-31, 2003.
Get a preprint: 03-CCCM-dyadic1.ps
03-CCCM-dyadic1.pdf
- C. Caleiro.
Operational semantics of temporal object specification.
INESC Journal on Junior Activities in Science and Technology,
1(1):7--35, 1994.
- C. Caleiro, C. Sernadas, and A. Sernadas.
Mechanisms for combining logics.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1999.
Get a preprint: 99-CSS-comblog.ps
- M. Volpe, J. Marcos, and C. Caleiro.
Classic-like cut-based tableau systems for finite-valued logics.
In L. Ong and R. de Queiroz, editors, WoLLIC 2012, Selected Papers,
volume 7456 of Lecture Notes in Computer Science, pages 321--335.
Springer, 2012.
Get a preprint: 12-VMC-cutbased.pdf