A Modal Logic of a Truth Definition for Finite Models

Marek Czarnecki, Konrad Zdanowski. A Modal Logic of a Truth Definition for Finite Models. Fundamenta Informaticae, 164(4):299-325, 2019. [doi]

Abstract

Abstract is missing.