Overview
Availability
- Dr Tomasz Kowalski is:
- Available for supervision
Works
Search Professor Tomasz Kowalski’s works on UQ eSpace
Featured
2025
Journal Article
A modular bisimulation characterisation for fragments of hybrid logic
Badia, 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é games
Badia, 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 intuitionism
Kowalski, 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 results
Kowalski, 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 logic
Badia, 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-algebras
Kowalski, 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é Games
Badia, 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 algebras
Al-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-algebras
Botur, 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 symbols
Gaina, 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 free
Gaina, 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 block
Botur, 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 logics
Gaina, 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 logic
Davey, 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 institutions
Gaina, 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 algebras
Koussas, 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-theoretically
Kowalski, Tomasz (2020). Free lattices proof-theoretically. The Australasian Journal of Logic, 17 (2), 110-122.
2019
Journal Article
Uniform interpolation and coherence
Kowalski, 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 networks
Hirsch, 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 reasoning
Li, 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
Supervision
Availability
- Dr Tomasz Kowalski is:
- Available for supervision
Looking for a supervisor? Read our advice on how to choose a supervisor.
Media
Enquiries
For media enquiries about Dr Tomasz Kowalski's areas of expertise, story ideas and help finding experts, contact our Media team: