Proença, J., Fervari, R., Martins, M.A., Kahle, R., Pluck, G. (eds) Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops. SEFM 2024. Lecture Notes in Computer Science, vol 15551. Springer, Cham.
Chapter in Festschrift in honor of Jean-Yves Béziau (Studies in Universal Logic series).
Accepted chapter in Logic, Semantics and Algebraic Methods for Non-Classical Logics: Studies dedicated to Marcelo Coniglio Walter Carnielli & Abilio Rodrigues (eds.)
In: Lesot, MJ., et al. Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2024. Lecture Notes in Networks and Systems, vol 1175. Springer, Cham.
Mathematical Structures in Computer Science, Vol. 34, No. 10, pp. 1138 - 1183, October, 2024
Journal of Symbolic Logic, Vol. 89, No. 2, pp. 583 - 636, June, 2024
Studia Logica, Vol. 112, No. 6, pp. 1215 - 1241, March, 2024
In: Malinowski, J., Palczewski, R. (eds) Janusz Czelakowski on Logical Consequence. Outstanding Contributions to Logic, vol 27. Springer, Cham.
Logic Journal of the IGPL, Vol. 31, No. 3, pp. 510 - 533, June, 2023
Journal of Logic and Computation, Vol. 32, No. 8, pp. 1694 - 1719, November, 2022
Mathematics, Vol. 10, No. 19, pp. 3481 - 3481, September, 2022
Soft Computing, Vol. 26, No. 7, pp. 3147 - 3160, February, 2022
In: Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings.
Logica Universalis, Vol. 16, No. 1-2, pp. 85 - 103, June, 2021
In: Ofer Arieli & Anna Zamansky, Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Cham: Springer Verlag. pp. 39-69 (2021)
In: Das, A., Negri, S. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021. Lecture Notes in Computer Science(), vol 12842. Springer, Cham.
Annals of Pure and Applied Logic, Vol. 171, No. 5, pp. 102786 - 102786, May, 2020
Synthese, Vol. 198, No. S22, pp. 5373 - 5390, February, 2019
In: Iemhoff, R., Moortgat, M., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science(), vol 11541. Springer, Berlin, Heidelberg.
Fuzzy Sets and Systems, Vol. 345, No. 0, pp. 113 - 125, October, 2018
Soft Computing, Vol. 23, No. 7, pp. 2213 - 2231, October, 2018
In: Carnielli, W., Malinowski, J. (eds) Contradictions, from Consistency to Inconsistency. Trends in Logic, vol 47. Springer, Cham.(2018)
Logica Universalis, Vol. 11, No. 3, pp. 383 - 400, September, 2017
In: Dixon, C., Finger, M. (eds) Frontiers of Combining Systems. FroCoS 2017. Lecture Notes in Computer Science(), vol 10483. Springer, Cham
In: Kennedy, J., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2017. Lecture Notes in Computer Science(), vol 10388. Springer, Berlin, Heidelberg
Journal of Logic and Computation, Vol. 27, No. 7, pp. 2063 - 2088, August, 2016
Logic Journal of the IGPL, Vol. 24, No. 5, pp. 673 - 707, June, 2016
In: Koslow, A., Buchsbaum, A. (eds) The Road to Universal Logic. Studies in Universal Logic. Birkhäuser, Cham.
Journal of Symbolic Logic, Vol. 77, No. 3, pp. 970 - 986, March, 2014
Annals of Mathematics and Artificial Intelligence, Vol. 66, No. 1, pp. 131 - 162, June, 2012
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 411-436.
Studia Logica, Vol. 93, No. 2-3, pp. 405 - 446, November, 2009
Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 145, No. 03, pp. 549 - 549, July, 2008 |