Joanna GoliƄska-Pilarek

Research Interests

listed in no particular order


philosophical and mathematical logic
analytic philosophy
philosophy of language
applications of logic in philosophy, mathematics, computer science, and linguistics
history of logic and mathematics, especially Polish logic


non-classical logics
non-Fregean logics
logics with Henkin quantifiers
relational logics
(multi)modal and temporal logics
logics for qualitative reasoning
epistemic dynamic logics
fuzzy logics


definability and expressiveness
automated theorem proving
tableau and dual tableau systems
decidability and decision procedures
(finite) model theory
natural language processing
situation theory