Theory and application of labelling techniques for interpretability logics

Autor:	Evan Goris, Marta Bílková, Joost J. Joosten, Luka Mikec
Rok vydání:	2022
Předmět:	Logic interpretability logic labelling technique
Zdroj:	Mathematical Logic Quarterly. 68:352-374
ISSN:	1521-3870 0942-5616
DOI:	10.1002/malq.202200015
Popis:	The notion of a critical successor in relational semantics has been central to most classic modal completeness proofs in interpretability logics. In this paper we shall work with a more general notion, that of an assuring successor. This will enable more concisely formulated completeness proofs, both with respect to ordinary and generalised Veltman semantics. Due to their interesting theoretical properties, we will devote some space to the study of a particular kind of assuring labels, the so-called full labels and maximal labels.After a general treatment of assuringness, we shall apply it to obtain a completeness result for the modal logic ILP w.r.t. generalised semantics for a restricted class of frames.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28a226910be01237b0f9db827d63dcc8 https://doi.org/10.1002/malq.202200015 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.