Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae

DOI10.1023/A:1026499402531zbMath0921.03021OpenAlexW1531495956MaRDI QIDQ1288962

Stéphane P. Demri, Ewa S. Orłowska

Publication date: 29 September 1999

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026499402531

zbMATH Keywords

filtrationdynamic logicfinite model propertyepistemic logicalgebras of relationsmulti-modal logicsmultimodal logicsclosure relation operationfinitely reducible logicsinformation logicsmonotonous relation operation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae