|
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. |
|
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. |
|
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 |
|
2009 Conference Publication All Splitting Logics in the Lattice NExt(KTB)Kowalski, Tomasz and Miyazaki, Yutaka (2009). All Splitting Logics in the Lattice NExt(KTB). Studia Logica International Conference Towards Mathematical Philosophy - Trends in Logic IV, Torun Poland, Sep 01-04, 2006. DORDRECHT: SPRINGER. doi: 10.1007/978-1-4020-9084-4_4 |
|
2008 Conference Publication A FINITE FRAGMENT OF S3Kowalski, Tomasz and Slaney, John (2008). A FINITE FRAGMENT OF S3. 3rd Algebra and Substructural Logic Workshop, Cracow Poland, Nov 06-08, 2006. KRAKOW: WYDAWNICTWO UNIV JAGIELLONSKEG. |
|
2000 Conference Publication GHZ theorems in the framework of outcomes in branching space-timeKowalski, T and Placek, T (2000). GHZ theorems in the framework of outcomes in branching space-time. Quantum Structures 98 Conference, Liptovsky Jan Slovakia, Aug 30-Sep 05, 1998. NEW YORK: SPRINGER/PLENUM PUBLISHERS. doi: 10.1023/A:1003614526922 |
