Výsledky vyhledávání
- 1.0372736 - FLÚ 2012 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Jespersen, Bjorn
Transparent quantification into hyperintensional contexts.
The Logica Yearbook 2010. London: College Publications, 2011 - (Peliš, M.; Punčochář, V.), s. 81-97. ISBN 978-1-84890-038-7.
[LOGICA 2010. Hejnice (CZ), 21.06.2010-25.06.2010]
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: hyperintensions * type theory * Transparant intensional logic * propositional attitudes
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0205980 - 2.0355596 - FLÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jespersen, Bjorn - Primiero, G.
Two kinds of procedural semantics for privative modification.
New Frontiers in Artificial Intelligence. Berlin: Springer, 2010 - (Nakakoji, K.; Murakami, Y.; McCready, E.), s. 252-271. Lecture Notes in Computer Science, 6284. ISBN 978-3-642-14887-3.
[JSAI International Symposia on Artificial Intelligence. Tokyo (JP), 29.11.2010-30.11.2010]
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: logic * semantics
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0194330 - 3.0355522 - FLÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Jespersen, Bjorn
Hyperintensions and procedural isomorphism: Alternative (1/2;).
The Analytical Way: Proceedings of the 6th European Congress of Analytic Philosophy. London: College Publications. Department of Computer Science, 2010 - (Czarnecki, T.; Kijania-Placek, K.; Poller, O.; Wolenski, J.), s. 299-320. ISBN 978-1-84890-014-1.
[6th European Congress of Analytic Philosophy. Krakow (PL), 21.08.2008-26.08.2008]
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: hyperintensions * procedural isomorphism
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0194271