Algebras of Information States

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F17%3A00476819" target="_blank" >RIV/67985955:_____/17:00476819 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1093/logcom/exw021" target="_blank" >http://dx.doi.org/10.1093/logcom/exw021</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1093/logcom/exw021" target="_blank" >10.1093/logcom/exw021</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Algebras of Information States

Popis výsledku v původním jazyce

In this article, a non-standard informational semantics for superintuitionistic modal logics is introduced and studied. It is based on algebraic structures that are interpreted as algebras of information states. The proposed semantics combines into one framework various features of standard relational and algebraic semantics. Especially, the connection to the algebraic semantics is explored in detail. The framework can be viewed as a generalization of inquisitive semantics that enables us to add inquisitive disjunction to any superintuitionistic modal propositional logic.

Název v anglickém jazyce

Algebras of Information States

Popis výsledku anglicky

In this article, a non-standard informational semantics for superintuitionistic modal logics is introduced and studied. It is based on algebraic structures that are interpreted as algebras of information states. The proposed semantics combines into one framework various features of standard relational and algebraic semantics. Especially, the connection to the algebraic semantics is explored in detail. The framework can be viewed as a generalization of inquisitive semantics that enables us to add inquisitive disjunction to any superintuitionistic modal propositional logic.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GC16-07954J" target="_blank" >GC16-07954J: Od sdílení evidence ke skupinové znalosti</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

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ů

Název periodika

Journal of Logic and Computation

ISSN

0955-792X

e-ISSN

—

Svazek periodika

27

Číslo periodika v rámci svazku

5

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

33

Strana od-do

1643-1675

Kód UT WoS článku

000405419100013

EID výsledku v databázi Scopus

2-s2.0-85029633051