S. Marcelino,
C. Caleiro,
U. Rivieccio,
Some more theorems on structural entailment relations and non-deterministic semantics,
Chapter in,
Janusz Czelakowski on Logical Consequence. Outstanding Contributions to Logic,
Springer,
Cham,
2024
| Full text (PDF 423 KBs)
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. (LNTCS,volume 13137),
Artemov, S., Nerode, A.,
Springer,
Cham,
2022
| Full text (PDF 332 KBs)
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
V. Greati,
S. Marcelino,
J. Marcos,
U. Rivieccio,
Adding an implication to logics of perfect paradefinite algebras,
Mathematical Structures in Computer Science,
Vol. 34,
No. 10,
pp. 1138 - 1183,
October,
2024
| Full text (PDF 905 KBs)
| BibTex
C. Caleiro,
S. Marcelino,
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS,
Journal of Symbolic Logic,
Vol. 89,
No. 2,
pp. 583 - 636,
June,
2024
| Full text (PDF 768 KBs)
| BibTex
V. Greati,
S. Marcelino,
U. Rivieccio,
Finite Hilbert Systems for Weak Kleene Logics,
Studia Logica,
Vol. 112,
No. 6,
pp. 1215 - 1241,
March,
2024
| Full text (PDF 567 KBs)
| BibTex
S. Marcelino,
U. Rivieccio,
Finite axiomatizability of logics of distributive lattices with negation,
Logic Journal of the IGPL,
Vol. 31,
No. 3,
pp. 510 - 533,
June,
2023,
| Abstract
| Full text (PDF 702 KBs)
| BibTex
P. Filipe,
S. Marcelino,
C. Caleiro,
Computational properties of finite PNmatrices,
Journal of Logic and Computation,
Vol. 32,
No. 8,
pp. 1694 - 1719,
November,
2022
| Full text (PDF 456 KBs)
| BibTex
C. Caleiro,
S. Marcelino,
Decidability Preservation and Complexity Bounds for Combined Logics,
Mathematics,
Vol. 10,
No. 19,
pp. 3481 - 3481,
September,
2022
| Full text (PDF 559 KBs)
| BibTex
S. Marcelino,
U. Rivieccio,
Logics of involutive Stone algebras,
Soft Computing,
Vol. 26,
No. 7,
pp. 3147 - 3160,
February,
2022
| BibTex
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
S. Marcelino,
C. Caleiro,
Axiomatizing non-deterministic many-valued generalized consequence relations,
Synthese,
Vol. 198,
No. S22,
pp. 5373 - 5390,
February,
2019
| Full text (PDF 395 KBs)
| 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,
C. Caleiro,
J. Marcos,
Combining fragments of classical logic: When are interaction principles needed?,
Soft Computing,
Vol. 23,
No. 7,
pp. 2213 - 2231,
October,
2018
| Full text (PDF 695 KBs)
| 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,
C. Caleiro,
Decidability and complexity of fibred logics without shared connectives,
Logic Journal of the IGPL,
Vol. 24,
No. 5,
pp. 673 - 707,
June,
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,
PNmatrices for paraconsistent and other non-classical logics,
World Congress of Paraconsistency WCP,
Torun,
Poland,
September,
2022
| Full text (PDF 144 KBs)
| BibTex
S. Marcelino,
C. Caleiro,
Decidability of combined logics, and applications,
Days in Logic 08,
Faro,
Portugal,
July,
2022
| Full text (PDF 103 KBs)
| BibTex
S. Marcelino,
C. Caleiro,
Advantages and challenges posed by PNmatrices,
TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC TACL,
Coimbra,
Portugal,
June,
2022
| Full text (PDF 163 KBs)
| BibTex
S. Marcelino,
C. Caleiro,
PNmatrices at Work,
International Workshop on Algebraic Development Techniques WADT'22,
Aveiro,
Portugal,
June,
2022
| Full text (PDF 134 KBs)
| BibTex
P. Filipe,
C. Caleiro,
S. Marcelino,
Monadicity of Non-deterministic Logical Matrices is Undecidable,
NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS,
Lodz,
Poland,
March,
2022
| BibTex
S. Marcelino,
C. Caleiro,
P. Filipe,
Computational Properties of Partial Non-deterministic Matrices and Their Logics,
Logical Foundations of Computer Science,
Conference online,
Vol. 13137,
pp. 180 - 197,
December,
2021
| 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,
J. Marcos,
What the bleep do we know about classical connectives?,
Isralog 2017,
Haifa,
Israel,
October,
2017
| BibTex
S. Marcelino,
C. Caleiro,
Fibring partial non-deterministic matrices,
Isralog 2017,
Haifa,
Israel,
October,
2017
| 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
