Over the last two decades, there has been an extensive study of logical formalisms on
specifying and verifying real-time systems. Temporal logics have been an important …

We study the effect of restricting the number of individual variables, as well as the number
and arity of predicate letters, in languages of first-order predicate modal logics of finite …

We consider the effect of restricting the number of individual variables, as well as the
number and arity of predicate letters, in languages of first-order predicate superintuitionistic …

We study the algorithmic properties of first-order monomodal logics of frames,,,,,, as well as
some related logics, in languages with restrictions on the number of individual variables as …

In this paper, the predicate counterparts, defined both axiomatically and semantically by
means of Kripke frames, of the modal propositional logics,, and their extensions are …

We prove that the positive fragment of first-order intuitionistic logic in the language with two
individual variables and a single monadic predicate letter, without functional symbols …

While finite-variable fragments of the propositional modal logic S5—complete with respect to
reflexive, symmetric and transitive frames—are polynomial-time decidable, the restriction to …

We show that products and expanding relativized products of propositional modal logics
where one component is the minimal monomodal logic K are polynomial-time reducible to …

We show that products of propositional modal logics where at least one factor is one of the
monomodal logics,, and are polynomial-time embeddable into their single-variable …

We study algorithmic properties of first-order predicate monomodal logics of the frames (N,<)
and (N,≤) in languages with restrictions on the number of individual variables as well as the …