Joanna GoliƄska-Pilarek

Research Interests

listed in no particular order

General:

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

Logics:

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


Topics:

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