This HTML5 document contains 43 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/
n18http://purl.org/net/nknouf/ns/bibtex#
n17http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n16http://linked.opendata.cz/resource/domain/vavai/zamer/
n11https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
n19http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985955%3A_____%2F10%3A00345416%21RIV11-GA0-67985955/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985955%3A_____%2F10%3A00345416%21RIV11-GA0-67985955
rdf:type
n10:Vysledek skos:Concept
dcterms:description
This volume sets out the foundations of Transparent Intensional Logic, together with many applications to a wide range of topics including formal semantics, philosophy of language, and philosophical logic. Special attention is devoted to some topics that generally tend to be dealt with only in passing. They include, inter alia, notional attitudes, knowing whether, concepts (understood rigorously and non-mentalistically),attitudes de re, and anaphora in hyperintensional contexts. This volume sets out the foundations of Transparent Intensional Logic, together with many applications to a wide range of topics including formal semantics, philosophy of language, and philosophical logic. Special attention is devoted to some topics that generally tend to be dealt with only in passing. They include, inter alia, notional attitudes, knowing whether, concepts (understood rigorously and non-mentalistically),attitudes de re, and anaphora in hyperintensional contexts.
dcterms:title
Procedural Semantics for Hyperintensional Logic Procedural Semantics for Hyperintensional Logic
skos:prefLabel
Procedural Semantics for Hyperintensional Logic Procedural Semantics for Hyperintensional Logic
skos:notation
RIV/67985955:_____/10:00345416!RIV11-GA0-67985955
n3:aktivita
n15:Z n15:P
n3:aktivity
P(GA401/07/0451), Z(AV0Z90090514)
n3:dodaniDat
n5:2011
n3:domaciTvurceVysledku
Jesperson, Bjorn n17:9692215
n3:druhVysledku
n6:B
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n19:predkladatel
n3:idSjednocenehoVysledku
282368
n3:idVysledku
RIV/67985955:_____/10:00345416
n3:jazykVysledku
n20:eng
n3:klicovaSlova
Hyperintensional Logic; Knowledge representation; Meaning; TIL
n3:klicoveSlovo
n7:Hyperintensional%20Logic n7:TIL n7:Meaning n7:Knowledge%20representation
n3:kontrolniKodProRIV
[E678A4E21762]
n3:mistoVydani
Berlin
n3:nazevEdiceCisloSvazku
Logic, Epistemology, and the Unity of Science, 17
n3:nazevZdroje
Procedural Semantics for Hyperintensional Logic
n3:obor
n13:AA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetStranKnihy
550
n3:pocetTvurcuVysledku
3
n3:projekt
n9:GA401%2F07%2F0451
n3:rokUplatneniVysledku
n5:2010
n3:tvurceVysledku
Materna, Pavel Duží, M. Jesperson, Bjorn
n3:zamer
n16:AV0Z90090514
s:numberOfPages
550
n18:hasPublisher
Springer-Verlag
n11:isbn
978-90-481-8811-6