This book is intended as a course in modal logic for students who have had prior contact
with modal logic and wish to study it more deeply. It presupposes training in mathematics or …

We show that the variety of Heyting algebras has finitary unification type. We also show that
the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting …

Lattices of intermediate and cylindric modal logics Nick Bezhanishvili Abtract: In this thesis
we study classes of intermediate and cylindric modal logics. Intermediate logics are the …

Unification was originally introduced in automated deduction and term rewriting, but has
recently also found applications in other fields. In this article, we give a survey of the results …

The object of our study is the propositional linear temporal logic LTL with operations Until
and Next. We deal with inference rules admissible in LTL. Earlier the decidability of LTLw. rt …

While specifications and verifications of concurrent systems employ Linear Temporal Logic
(LTL), it is increasingly likely that logical consequence in LTL will be used in the description …

We investigate logical consequence in temporal logics in terms of logical consecutions, ie,
inference rules. First, we discuss the question: what does it mean for a logical consecution to …

This chapter is a continuation of the preceding one, and we begin it at the place where the
authors of Basic Modal Logic left us about fifteen years ago. Concluding his historical …

We investigate finitarity of unification types in locally finite varieties of Heyting algebras,
giving both positive and negative results. We make essential use of finite dualities within a …

We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of
an infinite sequence of rules which have compact and simple, readable form and depend on …