Decidability for $$\mathsf S4$$ Gödel Modal Logics

Autor:	Martín Diéguez, David Fernández-Duque
Rok vydání:	2022
Zdroj:	Computational Intelligence and Mathematics for Tackling Complex Problems 4 ISBN: 9783031077067
DOI:	10.1007/978-3-031-07707-4_1
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ae386f597d804a24256bf305b9e36774 https://doi.org/10.1007/978-3-031-07707-4_1 Zobrazit plný text záznamu