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
|