Andrzej Pietruszczak

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 6

Top Topics

Default Theories

Decision Procedures

Experimental Study

Top Venues

Rev. Symb. Log.

Notre Dame J. Formal Log.

Publications

Rafal Gruszczynski, Andrzej Pietruszczak
Grzegorczyk Points and filters in Boolean contact Algebras. Rev. Symb. Log. 16 (2) (2023)
Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav I. Petrukhin
Simplified Kripke-Style Semantics for Some Normal Modal Logics. Stud Logica 108 (3) (2020)
Rafal Gruszczynski, Andrzej Pietruszczak
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points. Stud Logica 107 (4) (2019)
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak
A modal extension of Jaśkowski's discussive logic |$\textbf{D}_\textbf{2}$|. Log. J. IGPL 27 (4) (2019)
Rafal Gruszczynski, Andrzej Pietruszczak
A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures. Stud Logica 106 (6) (2018)
Andrzej Pietruszczak, Tomasz Jarmuzek
Pure Modal Logic of Names and Tableau Systems. Stud Logica 106 (6) (2018)
Andrzej Pietruszczak
A General Concept of Being a Part of a Whole. Notre Dame J. Formal Log. 55 (3) (2014)
Marek Nasieniewski, Andrzej Pietruszczak
. Stud Logica 97 (1) (2011)
Tomasz Jarmuzek, Andrzej Pietruszczak
The Tense Logic for Master Argument in Prior's Reconstruction. Stud Logica 92 (1) (2009)
Rafal Gruszczynski, Andrzej Pietruszczak
Full Development of Tarski's Geometry of Solids. Bull. Symb. Log. 14 (4) (2008)
Rafal Gruszczynski, Andrzej Pietruszczak
Pieri's Structures. Fundam. Informaticae 81 (1-3) (2007)
Andrzej Pietruszczak
Cardinalities of Models and the Expressive Power of Monadic Predicate Logic (with Equality and Individual Constants). Reports Math. Log. 30 (1996)
Andrzej Pietruszczak
Cardinalities of Models for Pure Calculi of Names. Reports Math. Log. 28 (1994)