This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n14http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10http://linked.opendata.cz/resource/domain/vavai/subjekt/
n9http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n8http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985955%3A_____%2F12%3A00383398%21RIV13-GA0-67985955/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985955%3A_____%2F12%3A00383398%21RIV13-GA0-67985955
rdf:type
n9:Vysledek skos:Concept
dcterms: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 compared with 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. 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 compared with 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.
dcterms:title
Some Modifications of Carnap's Modal Logic Some Modifications of Carnap's Modal Logic
skos:prefLabel
Some Modifications of Carnap's Modal Logic Some Modifications of Carnap's Modal Logic
skos:notation
RIV/67985955:_____/12:00383398!RIV13-GA0-67985955
n9:predkladatel
n10:ico%3A67985955
n3:aktivita
n18:P n18:I
n3:aktivity
I, P(GAP401/11/0371), P(GD401/09/H007)
n3:cisloPeriodika
3
n3:dodaniDat
n13:2013
n3:domaciTvurceVysledku
n12:3945731
n3:druhVysledku
n17:J
n3:duvernostUdaju
n15:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
169213
n3:idVysledku
RIV/67985955:_____/12:00383398
n3:jazykVysledku
n6:eng
n3:klicovaSlova
Carnap; modal logic; epistemic logic; possible worlds
n3:klicoveSlovo
n4:epistemic%20logic n4:Carnap n4:modal%20logic n4:possible%20worlds
n3:kodStatuVydavatele
NL - Nizozemsko
n3:kontrolniKodProRIV
[83B320060F0B]
n3:nazevZdroje
Studia Logica
n3:obor
n19:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n14:GAP401%2F11%2F0371 n14:GD401%2F09%2FH007
n3:rokUplatneniVysledku
n13:2012
n3:svazekPeriodika
100
n3:tvurceVysledku
Punčochář, Vít
n3:wos
000309055600005
s:issn
0039-3215
s:numberOfPages
27
n8:doi
10.1007/s11225-012-9413-z