Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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