-
25Tableau reductions: Towards an optimal decision procedure for the modal necessityJournal of Applied Logic 17 14-24. 2016.
-
29Number of non-Fregean sentential logics that have adequate modelsMathematical Logic Quarterly 52 (5). 2006.We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.
-
45Relational proof systems for spatial reasoningJournal of Applied Non-Classical Logics 16 (3-4): 409-431. 2006.We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation