Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Zalán Molnár"'
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 1, Pp 59-83 (2023)
In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) f
Externí odkaz:
https://doaj.org/article/43674a5b554041d9a8615865c0948858
Autor:
Zalán Molnár, Öztürk Övge
Publikováno v:
Elpis. Filozófiatudományi Folyóirat. 15:103-116
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a115a5d575ee5202c025df6ce5cbc980
https://doi.org/10.54310/elpis.2022.1.8
https://doi.org/10.54310/elpis.2022.1.8