Motivated by questions like: which spatial structures may be characterized by means of
modal logic, what is the logic of space, how to encode in modal logic different geometric …

Motivated by questions like: which spatial structures may be characterized by means of
modal logic, what is the logic of space, how to encode in modal logic different geometric …

Let $\alpha $ be an arbritary ordinal, and $2< n<\omega $. In\cite {3} accepted for
publication in Quaestiones Mathematicae, we studied using algebraic logic, interpolation …

Let $\alpha $ be an arbritary ordinal, and $2< n<\omega $. In\cite {3} accepted for
publication in Quaestiones Mathematicae, we studied using algebraic logic, interpolation …

We show the first examples of recursively enumerable (even decidable) two-dimensional
products of finitely axiomatisable modal logics that are not finitely axiomatisable. In …

We investigate the relationship between recursive enumerability and elementary frame
definability in first-order predicate modal logic. On one hand, it is well known that every first …

We investigate the expressive power of a range of modal logics extended with second-order
prenex quantification of binary and unary relations. Our principal result is that Σしぐま11 (BML=) …

We introduce a new semantics for modal predicate logic, with respect to which a rich class of
first-order modal logics is complete, namely all normal first-order modal logics that are …

We consider normal 1-modal predicate logics in the signature with predicate letters of all
arities, but without equality, constants or functions letters. A logic is a set of formulas …

Term modal logics (TML) are modal logics with unboundedly many modalities, with
quantification over modal indices, so that we can have formulas of the form $\exists y.\forall …