|
2025 Journal Article A modular bisimulation characterisation for fragments of hybrid logicBadia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2025). A modular bisimulation characterisation for fragments of hybrid logic. The Bulletin of Symbolic Logic, 31 (4), 590-618. doi: 10.1017/bsl.2025.9 |
|
2025 Journal Article Hybrid-dynamic Ehrenfeucht-Fraïssé gamesBadia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2025). Hybrid-dynamic Ehrenfeucht-Fraïssé games. ACM Transactions on Computational Logic, 26 (4) 22, 1-25. doi: 10.1145/3750046 |
|
2025 Journal Article Free p-algebras revisited: an algebraic investigation of implication-free intuitionismKowalski, Tomasz and Słomczyńska, Katarzyna (2025). Free p-algebras revisited: an algebraic investigation of implication-free intuitionism. Annals of Pure and Applied Logic, 176 (9) 103610, 103610. doi: 10.1016/j.apal.2025.103610 |
|
2025 Journal Article Quasivarieties of p-algebras: some new resultsKowalski, Tomasz and Słomczyńska, Katarzyna (2025). Quasivarieties of p-algebras: some new results. Studia Logica. doi: 10.1007/s11225-025-10187-9 |
|
2025 Journal Article Decidable quasivarieties of p-algebrasKowalski, Tomasz and Słomczyńska, Katarzyna (2025). Decidable quasivarieties of p-algebras. Mathematical Logic Quarterly, 71 (1) 2300064, 1-6. doi: 10.1002/malq.202300064 |
|
2023 Journal Article Edge colourings and qualitative representations of chromatic algebrasAl-Juaid, Badriah, Jackson, Marcel, Koussas, James and Kowalski, Tomasz (2023). Edge colourings and qualitative representations of chromatic algebras. Journal of Algebraic Combinatorics, 58 (1), 157-182. doi: 10.1007/s10801-023-01251-5 |
|
2023 Journal Article Kites and representations of pseudo MV-algebrasBotur, Michal and Kowalski, Tomasz (2023). Kites and representations of pseudo MV-algebras. Fuzzy Sets and Systems, 455, 158-182. doi: 10.1016/j.fss.2022.09.014 |
|
2023 Journal Article Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbolsGaina, Daniel, Badia, Guillermo and Kowalski, Tomasz (2023). Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols. Annals of Pure and Applied Logic, 174 (3) 103212, 1-41. doi: 10.1016/j.apal.2022.103212 |
|
2022 Journal Article Lindstrom's theorem, both syntax and semantics freeGaina, Daniel and Kowalski, Tomasz (2022). Lindstrom's theorem, both syntax and semantics free. Journal of Logic and Computation, 32 (5), 942-975. doi: 10.1093/logcom/exab073 |
|
2022 Journal Article Beyond wreath and blockBotur, Michal and Kowalski, Tomasz (2022). Beyond wreath and block. Semigroup Forum, 105 (1), 96-116. doi: 10.1007/s00233-022-10291-5 |
|
2021 Journal Article Splittings in varieties of logicDavey, Brian A., Kowalski, Tomasz and Taylor, Christopher J. (2021). Splittings in varieties of logic. International Journal of Algebra and Computation, 31 (04), 727-774. doi: 10.1142/S021819672150034X |
|
2020 Journal Article Fraisse-Hintikka theorem in institutionsGaina, Daniel and Kowalski, Tomasz (2020). Fraisse-Hintikka theorem in institutions. Journal of Logic and Computation, 30 (7), 1377-1399. doi: 10.1093/logcom/exaa042 |
|
2020 Journal Article Varieties of semiassociative relation algebras and tense algebrasKoussas, James M. and Kowalski, Tomasz (2020). Varieties of semiassociative relation algebras and tense algebras. Algebra Universalis, 81 (2) 21, 1-14. doi: 10.1007/s00012-020-0646-9 |
|
2020 Journal Article Free lattices proof-theoreticallyKowalski, Tomasz (2020). Free lattices proof-theoretically. The Australasian Journal of Logic, 17 (2), 110-122. |
|
2019 Journal Article Uniform interpolation and coherenceKowalski, Tomasz and Metcalfe, George (2019). Uniform interpolation and coherence. Annals of Pure and Applied Logic, 170 (7), 825-841. doi: 10.1016/j.apal.2019.02.004 |
|
2019 Journal Article Algebraic foundations for qualitative calculi and networksHirsch, Robin, Jackson, Marcel and Kowalski, Tomasz (2019). Algebraic foundations for qualitative calculi and networks. Theoretical Computer Science, 768, 99-116. doi: 10.1016/j.tcs.2019.02.033 |
|
2017 Journal Article Analytic cut and interpolation for bi-intuitionistic logicKowalski, Tomasz and Ono, Hiroakira (2017). Analytic cut and interpolation for bi-intuitionistic logic. Review of Symbolic Logic, 10 (2), 259-283. doi: 10.1017/S175502031600040X |
|
2016 Journal Article Complexity and polymorphisms for digraph constraint problems under some basic constructionsJackson, Marcel, Kowalski, Tomasz and Niven, Todd (2016). Complexity and polymorphisms for digraph constraint problems under some basic constructions. International Journal of Algebra and Computation, 26 (7), 1395-1433. doi: 10.1142/S0218196716500600 |
|
2016 Journal Article An abelian rule for BCI-and variationsKowalski, Tomasz and Humberstone, Lloyd (2016). An abelian rule for BCI-and variations. Notre Dame Journal of Formal Logic, 57 (4), 551-568. doi: 10.1215/00294527-3679398 |
|
2015 Journal Article Representability of Ramsey Relation AlgebrasKowalski, Tomasz (2015). Representability of Ramsey Relation Algebras. Algebra Universalis, 74 (3-4), 265-275. doi: 10.1007/s00012-015-0353-0 |
