Some Modifications of Carnap's Modal Logic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F12%3A00383398" target="_blank" >RIV/67985955:_____/12:00383398 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216208:11210/12:10104280
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s11225-012-9413-z" target="_blank" >http://dx.doi.org/10.1007/s11225-012-9413-z</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11225-012-9413-z" target="_blank" >10.1007/s11225-012-9413-z</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Some Modifications of Carnap's Modal Logic
Popis výsledku v původním jazyce
In this paper, Carnap's modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straightforward way. These epistemic modifcations of C are axiomatized and one of them is comparedwith intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev's logic of fnite problems and inquisitive semantics are shortly discussed.
Název v anglickém jazyce
Some Modifications of Carnap's Modal Logic
Popis výsledku anglicky
In this paper, Carnap's modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straightforward way. These epistemic modifcations of C are axiomatized and one of them is comparedwith intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev's logic of fnite problems and inquisitive semantics are shortly discussed.
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
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2012
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
Studia Logica
ISSN
0039-3215
e-ISSN
—
Svazek periodika
100
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
27
Strana od-do
517-543
Kód UT WoS článku
000309055600005
EID výsledku v databázi Scopus
—