Theory and Application of Labelling Techniques for Interpretability Logics
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F22%3A00559445" target="_blank" >RIV/67985807:_____/22:00559445 - isvavai.cz</a>
Výsledek na webu
<a href="https://dx.doi.org/10.1002/malq.202200015" target="_blank" >https://dx.doi.org/10.1002/malq.202200015</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1002/malq.202200015" target="_blank" >10.1002/malq.202200015</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Theory and Application of Labelling Techniques for Interpretability Logics
Popis výsledku v původním jazyce
The notion of a critical successor [5] 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.
Název v anglickém jazyce
Theory and Application of Labelling Techniques for Interpretability Logics
Popis výsledku anglicky
The notion of a critical successor [5] 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.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2022
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Mathematical Logic Quarterly
ISSN
0942-5616
e-ISSN
1521-3870
Svazek periodika
68
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
23
Strana od-do
352-374
Kód UT WoS článku
000825207200001
EID výsledku v databázi Scopus
2-s2.0-85128860233