About: Procedural Semantics for Hyperintensional Logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Procedural Semantics for Hyperintensional Logic Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. (en)
Title	Procedural Semantics for Hyperintensional Logic Procedural Semantics for Hyperintensional Logic (en)
skos:prefLabel	Procedural Semantics for Hyperintensional Logic Procedural Semantics for Hyperintensional Logic (en)
skos:notation	RIV/67985955:_____/10:00345416!RIV11-GA0-67985955
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA401/07/0451), Z(AV0Z90090514)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Materna, Pavel Jesperson, Bjorn
http://linked.open.../riv/druhVysledku	B - Odborná kniha
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Filosofický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	282368
http://linked.open...ai/riv/idVysledku	RIV/67985955:_____/10:00345416
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Hyperintensional Logic; Knowledge representation; Meaning; TIL (en)
http://linked.open.../riv/klicoveSlovo	TIL Knowledge representation Hyperintensional Logic Meaning
http://linked.open...ontrolniKodProRIV	[E678A4E21762]
http://linked.open...i/riv/mistoVydani	Berlin
http://linked.open...vEdiceCisloSvazku	Logic, Epistemology, and the Unity of Science, 17
http://linked.open...i/riv/nazevZdroje	Procedural Semantics for Hyperintensional Logic
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...v/pocetStranKnihy	550 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Semantisation of Pragmatics
http://linked.open...UplatneniVysledku	2010
http://linked.open...iv/tvurceVysledku	Materna, Pavel Duží, M. Jesperson, Bjorn
http://linked.open...n/vavai/riv/zamer	Transdisciplinary research into selected key areas of philosophy and related disciplines, in particular, logic, classical and medieval studies, and the theory of science. Editions and publications of corresponding texts and electronic databases.
number of pages	550 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	978-90-481-8811-6

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software