DMCA

Finite Satisfiability of Modal Logic over Horn Definable Classes of Frames

Cached

Download Links

by Jakub Michaliszyn , Emanuel Kieroński