Some Modifications of Carnap's Modal Logic
The result's identifiers
Result code in 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>
Alternative codes found
RIV/00216208:11210/12:10104280
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Some Modifications of Carnap's Modal Logic
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Studia Logica
ISSN
0039-3215
e-ISSN
—
Volume of the periodical
100
Issue of the periodical within the volume
3
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
27
Pages from-to
517-543
UT code for WoS article
000309055600005
EID of the result in the Scopus database
—