Papers to appear, submitted and work in progress

All papers in PS format


New! Algebraization of hybrid logic with binders
to appear in proceedings of RelMiCS/AKA 2006 (LNCS)
Updated. Cleaned some bugs and added a few comments. Page layout differs from the printed version. Last update: July 13.
New! Isomorphism via translation
to appear in proceedings of AiML 2006
Previous title: "On the Gargov-Goranko Translation"
(with Balder ten Cate) Topological perspective on hybrid proof rules
under submission
Will be uploaded after submitting the final version
(with Balder ten Cate) The importance of being discrete
under submission
As above

Previous publications in international journals

Note: because of copyright reasons some of published papers are available only in altered version


(with Frank Wolter) All finitely axiomatizable tense logics of linear time flows are coNP-complete
Studia Logica 81 (2), 153-165, 2005
The title adequately describes its content. What may be interesting this result is that usually low complexity results for a wide class of logics are shown with the help of polynomial finite model property. Our result covers numerous logics which do not have any Kripke frames or even any lattice-complete algebras; see the AiML paper for an explanation
On notions of completness weaker than Kripke completeness
Advances in Modal Logic 5, 149-169, 2005
Some remarks on superintuitionistic logic of chequered subsets
Bulletin of the Section of Logic 33, 81-86, 2004
The paper studies superintuitionistic version of the logic of chequered subsets introduced by Johan van Benthem, Guram Bezhanishvili and Mai Gehrke. In particular, the logic is compared with the famous system of Medvedev. The web version is slightly extended; in particular, the proof of main theorem is hopefully more readable
Modal incompleteness revisited
Studia Logica 76, 329--342, 2004
This paper discusses the question to what extent incompleteness results over modal logic K4 can be generalized, in particular from algebraic point of view
A continuum of incomplete intermediate logics
Reports on Mathematical Logic 36, 131--141, 2002
The title adequately describes its content. Additional bonus is that the Shehtman's construction of the first incomplete superintuitionistic logic is described here in a perhaps less involved way than in the original paper

PhD Thesis

An algebraic approach to incompleteness in modal logic
The final version, September 2005. PDF format

Other theses and technical reports



Mathematical foundations for self-referential sentences
JAIST Research Report, IS-RR-2005-005-001
Incomplete intermediate logics (in Polish)
Master's Thesis, Jagiellonian University 2001

Go back to main page