On modal logics characterized by models with relative accessibility relations. I
From MaRDI portal
Publication:1591337
DOI10.1023/A:1005235713913zbMath0969.03028OpenAlexW1511295272MaRDI QIDQ1591337
Dov M. Gabbay, Stéphane P. Demri
Publication date: 25 February 2001
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005235713913
polymodal logicfinite model property (fmp)relative accessibility relationstrong finite parameter set property (sfpsp)
Related Items (2)
About the complete axiomatization of dynamic extensions of arrow logic ⋮ On modal logics characterized by models with relative accessibility relations. II
This page was built for publication: On modal logics characterized by models with relative accessibility relations. I