Definability in the class of all -frames - computability and complexity

Dimiter Georgiev. Definability in the class of all -frames - computability and complexity. Journal of Applied Non-Classical Logics, 27(1-2):1-26, 2017. [doi]

Abstract

Abstract is missing.