A new semantic framework for modal logic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F14%3A10284054" target="_blank" >RIV/00216208:11210/14:10284054 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A new semantic framework for modal logic
Popis výsledku v původním jazyce
This article presents a new semantic framework for modal propositional language. The basic structures of the semantics are Boolean algebras with operators. However, the semantics is not algebraic but rather relational; in it, Boolean algebras with operators play a similar role as Kripke models in standard relational semantics, and the semantics is based on a relation between the elements of Boolean algebras enriched with operators and formulas from modal language. Some basic connections between the newsemantic framework and standard algebraic and relational semantics are studied.
Název v anglickém jazyce
A new semantic framework for modal logic
Popis výsledku anglicky
This article presents a new semantic framework for modal propositional language. The basic structures of the semantics are Boolean algebras with operators. However, the semantics is not algebraic but rather relational; in it, Boolean algebras with operators play a similar role as Kripke models in standard relational semantics, and the semantics is based on a relation between the elements of Boolean algebras enriched with operators and formulas from modal language. Some basic connections between the newsemantic framework and standard algebraic and relational semantics are studied.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP401%2F11%2F0371" target="_blank" >GAP401/11/0371: Apriorní, syntetické a analytické od středověku po současnou filozofii</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2014
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
Philosophical Alternatives
ISSN
0861-7899
e-ISSN
—
Svazek periodika
23
Číslo periodika v rámci svazku
6
Stát vydavatele periodika
BG - Bulharská republika
Počet stran výsledku
13
Strana od-do
47-59
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—