Equality and Monodic First-Order Temporal Logic
Products of Modal Logics. Part 3
Monodic Packed Fragment with Equality is Decidable
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds
An Elementary Construction for a Non-elementary Procedure
A Note on Algebras of Substitutions
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic