S. Marcelino,
C. Caleiro,
P. Filipe,
Computational Properties of Partial Non-deterministic Matrices and Their Logics,
Chapter in,
Logical Foundations of Computer Science. LFCS 2022. LNCS 13137,
Springer International Publishing,
Cham,
2022
C. Caleiro,
S. Marcelino,
On axioms and rexpansions,
Chapter in,
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics,
Ofer Arieli and Anna Zamansky,
Springer,
Switzerland,
2021
V. Greati,
S. Marcelino,
J. Marcos,
Proof Search on Bilateralist Judgments over Non-deterministic Semantics,
Chapter in,
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021, LNCS, vol 12842,
Das A., Negri S.,
Springer, Cham,
Cham,
2021
S. Marcelino,
C. Caleiro,
Analytic Calculi for Monadic PNmatrices,
Chapter in,
Logic, Language, Information, and Computation, WoLLIC 2019, LNCS, vol 11541,
Springer Berlin Heidelberg,
Berlin,
2019
S. Marcelino,
C. Caleiro,
U. Rivieccio,
Plug and Play Negations,
Chapter in,
Contradictions, from Consistency to Inconsistency,
W. Carnielli and J. Malinowski,
Springer International Publishing AG Springer Nature,
Cham,
2018
C. Caleiro,
S. Marcelino,
J. Marcos,
Merging fragments of classical logic,
Chapter in,
Frontiers of Combining Systems (FroCoS 2017),
Springer,
Heidelberg,
2017
S. Marcelino,
C. Caleiro,
Disjoint Fibring of Non-deterministic Matrices,
Chapter in,
Logic, Language, Information, and Computation, WoLLIC 2017, LNCS, vol 10388,
Kennedy J., de Queiroz R.,
Springer Berlin Heidelberg,
Berlin,
2017
C. Caleiro,
S. Marcelino,
P. Baltazar,
Deciding theoremhood in fibred logics without shared connectives,
Chapter in,
JY Beziau's Festschrift,
A. Buchsbaum, A. Koslow,
Springer,
2014
A. Kurucz,
S. Marcelino,
Finite frames for K4.3 × S5 are decidable,
Chapter in,
Advances in Modal Logic, Volume 9,
College Publications,
London,
2012
C. Hampson,
S. Kikot,
A. Kurucz,
S. Marcelino,
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations,
Annals of Pure and Applied Logic,
Vol. 171,
No. 5,
pp. 102786 - 102786,
May,
2020
| BibTex
C. Caleiro,
S. Marcelino,
U. Rivieccio,
Characterizing finite-valuedness,
Fuzzy Sets and Systems,
Vol. 345,
No. 0,
pp. 113 - 125,
October,
2018
| BibTex
S. Marcelino,
U. Rivieccio,
Locally tabular ̸= locally finite,
Logica Universalis,
Vol. 11,
No. 3,
pp. 383 - 400,
September,
2017
| BibTex
S. Marcelino,
C. Caleiro,
On the characterization of fibred logics, with applications to conservativity and finite-valuedness,
Journal of Logic and Computation,
Vol. 27,
No. 7,
pp. 2063 - 2088,
August,
2016,
| Abstract
| BibTex
S. Marcelino,
A. Kurucz,
Non-finitely axiomatisable two-dimensional modal logics,
Journal of Symbolic Logic,
Vol. 77,
No. 3,
pp. 970 - 986,
March,
2014,
| Abstract
| BibTex
D. Gabbay,
S. Marcelino,
Global view on reactivity: switch graphs and their logics,
Annals of Mathematics and Artificial Intelligence,
Vol. 66,
No. 1,
pp. 131 - 162,
June,
2012
| BibTex
S. Marcelino,
D. Gabbay,
Modal Logics of Reactive Frames,
Studia Logica,
Vol. 93,
No. 2-3,
pp. 405 - 446,
November,
2009
| BibTex
S. Marcelino,
P. Resende,
An algebraic generalization of Kripke structures,
Mathematical Proceedings of the Cambridge Philosophical Society,
Vol. 145,
No. 03,
pp. 549 - 549,
July,
2008
| BibTex
S. Marcelino,
C. Caleiro,
P. Filipe,
Infectious semantics and analytic calculi for even more inclusion logics,
IEEE International Symposium on Multiple-Valued Logic ISMVL,
Miyazaki,
Japan,
Vol.,
pp. 224 - 229,
November,
2020
| BibTex
C. Hampson,
S. Kikot,
A. Kurucz,
S. Marcelino,
Non-finitely Axiomatisable Modal Products with Infinite Canonical Axiomatisations,
AiML.net Advances in Modal Logic - AiML,
Bern,
Switzerland,
August,
2018,
| Abstract
| BibTex
S. Marcelino,
C. Caleiro,
Semantics for combined Hilbert calculi,
World Congress and School on Universal Logic - UNILOG,
Vichy,
France,
June,
2018
| BibTex
S. Marcelino,
C. Caleiro,
Modular analysis of Hilbert calculi,
World Congress and School on Universal Logic - UNILOG,
Vichy,
France,
June,
2018
| BibTex
S. Marcelino,
C. Caleiro,
Disjoint fibring of non-deterministic matrices,
Workshop on Logic Language Information and Computation Wollic,
London,
United Kingdom,
July,
2017
| BibTex
S. Marcelino,
Characterizing finite-valuedness,
Trends in Logic XVI,
Campinas,
Brazil,
September,
2016
| BibTex
S. Marcelino,
C. Caleiro,
J. Marcos,
U. Rivieccio,
On the abstract characterization of broadly truth-functional logics,
International Joint Conf. on Automated Reasoning - IJCAR,
Coimbra,
Portugal,
Vol. 0,
pp. 0 - 0,
July,
2016,
| Abstract
| BibTex
S. Marcelino,
C. Caleiro,
J. Marcos,
Can classical reasoning be recovered through the combination of logics?,
International Joint Conf. on Automated Reasoning - IJCAR,
Coimbra,
Portugal,
Vol. 0,
pp. 0 - 0,
July,
2016,
| Abstract
| BibTex
C. Caleiro,
S. Marcelino,
Combined logics - characterizing mixed reasoning and applications,
GeTFun Compositional Meaning in Logic - GeTFun,
Natal,
Brazil,
Vol. 0,
pp. 0 - 0,
September,
2015
| BibTex
C. Caleiro,
S. Marcelino,
J. Marcos,
Cancellation, many-valuedness, and combined logics,
World Congress and School on Universal Logic - UNILOG,
Istanbul,
Turkey,
Vol. 0,
pp. 0 - 0,
June,
2015
| BibTex
C. Caleiro,
S. Marcelino,
Fibring logics: decidability and conservativity (Part I),
World Congress and School on Universal Logic - UNILOG,
Istanbul,
Turkey,
Vol. 0,
pp. 0 - 0,
June,
2015
| BibTex
C. Caleiro,
S. Marcelino,
Fibring logics: decidability and conservativity (Part II),
World Congress and School on Universal Logic - UNILOG,
Istanbul,
Turkey,
Vol. 0,
pp. 0 - 0,
June,
2015
| BibTex
C. Caleiro,
S. Marcelino,
Conservativity of fibred logics via reflective translations,
AiML.net Advances in Modal Logic - AiML,
Groningen,
Netherlands,
Vol. 1,
pp. 0 - 0,
August,
2014
| BibTex
S. Marcelino,
C. Caleiro,
Conservativity of fibred logics via reflective translations,
AiML.net Advances in Modal Logic - AiML,
Groningen,
Netherlands,
Vol. 0,
pp. 0 - 0,
August,
2014,
| Abstract
| BibTex
C. Caleiro,
S. Marcelino,
J. Marcos,
On the characterization of broadly truth-functional logics,
GeTFun Compositional Meaning in Logic - GeTFun,
Vienna,
Austria,
Vol. 1,
pp. 0 - 0,
July,
2014
| BibTex
S. Marcelino,
C. Caleiro,
On the characterization of broadly truth-functional logics,
GeTFun Compositional Meaning in Logic - GeTFun,
Vienna,
Austria,
Vol. 0,
pp. 0 - 0,
July,
2014,
| Abstract
| BibTex
C. Caleiro,
S. Marcelino,
P. Baltazar,
Conservativeness and decidability of fibred logics,
Logic Colloquium,
Evora,
Portugal,
Vol. 0,
pp. 0 - 0,
July,
2013
| BibTex
C. Caleiro,
S. Marcelino,
Combining logics, cryptofibred semantics and completeness preservation,
World Congress and School on Universal Logic - UNILOG,
Rio de Janeiro,
Brazil,
Vol. 0,
pp. 0 - 0,
April,
2013
| BibTex
S. Marcelino,
A. Kurucz,
Finite frames for K4.3 × S5 are decidable,
AiML.net Advances in Modal Logic - AiML,
Copenhagen,
Denmark,
Vol. 9,
pp. 411 - 436,
August,
2012,
| Abstract
| BibTex
S. Marcelino,
Amílcar Sernadas Logic Prize,
Amílcar Sernadas (1952-2017) was Full Professor at the Mathematics Department Amílcar Sernadasof Instituto Superior Técnico and an internationally leading researcher in logic and the foundations of computing. This prize aims at encouraging logic research and distinguishes an unpublished paper in this area. It is included in the initiative One logic prize in every country that emerged from the series of conferences UNILOG (World Congress and School in Universal Logic). It celebrates Amílcar Sernadas highly significant and original scientific contributions, as well as his outstanding academic career.,
01-01-2021