"[E678A4E21762]" . "550"^^ . "Berlin" . "Procedural Semantics for Hyperintensional Logic"@en . . . . . "Procedural Semantics for Hyperintensional Logic"@en . "P(GA401/07/0451), Z(AV0Z90090514)" . . "Hyperintensional Logic; Knowledge representation; Meaning; TIL"@en . "Materna, Pavel" . . . "978-90-481-8811-6" . "550"^^ . "Du\u017E\u00ED, M." . "Procedural Semantics for Hyperintensional Logic" . "Procedural Semantics for Hyperintensional Logic" . "Jesperson, Bjorn" . . . "Jesperson, Bjorn" . "Procedural Semantics for Hyperintensional Logic" . "2"^^ . "282368" . "3"^^ . "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." . "RIV/67985955:_____/10:00345416" . "RIV/67985955:_____/10:00345416!RIV11-GA0-67985955" . . . . . . . "Springer-Verlag" . "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 . . . "Logic, Epistemology, and the Unity of Science, 17" . .