|
Featured 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 Conference Publication Definable classes of models and frames in bi-intuitionistic logicBadia, Guillermo, Kowalski, Tomasz and Olkhovikov, Grigory (2025). Definable classes of models and frames in bi-intuitionistic logic. 2nd Third Workshop, Edmonton, Canada, 13-14 May 2024. London, United Kingdom: College Publications. |
|
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 |
|
2024 Other Outputs Hybrid-Dynamic Ehrenfeucht-Fraïssé GamesBadia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2024). Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. doi: 10.48550/arXiv.2406.02094 |
|
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 |
|
2022 Conference Publication Robinson consistency in many-sorted hybrid first-order logicsGaina, Daniel, Badia, Guillermo and Kowalski, Tomasz (2022). Robinson consistency in many-sorted hybrid first-order logics. 2022 Advances in Modal Logic (AiML), Rennes, France, 22-25 August 2022. London, United Kingdom: College Publications. |
|
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 |
|
2018 Conference Publication Combining binary constraint networks in qualitative reasoningLi, Jason Jingshi, Kowalski, Tomasz, Renz, Jochen and Li, Sanjiang (2018). Combining binary constraint networks in qualitative reasoning. IOS Press BV. doi: 10.3233/978-1-58603-891-5-515 |
