Seguir
Marie Duzi
Título
Citado por
Citado por
Año
Procedural semantics for hyperintensional logic: Foundations and applications of transparent intensional logic
M Duží, B Jespersen, P Materna
Springer Science & Business Media, 2010
3262010
Procedural semantics for hyperintensional logic: Foundations and applications of transparent intensional logic
M Duží, B Jespersen, P Materna
Springer Science & Business Media, 2010
3262010
Procedural semantics for hyperintensional logic: Foundations and applications of transparent intensional logic
M Duží, B Jespersen, P Materna
Springer Science & Business Media, 2010
3262010
The paradox of inference and the non-triviality of analytic information
M Duží
Journal of Philosophical Logic 39, 473-510, 2010
552010
TIL jako procedurální logika
M Duží, P Materna
Pruvodce zvídavého ctenáre Transparentní intensionální logikou, 2012
412012
Transparent quantification into hyperintensional objectual attitudes
M Duží, B Jespersen
Synthese 192 (3), 635-677, 2015
372015
Procedural isomorphism, analytic information and β-conversion by value
M Duží, B Jespersen
Logic Journal of IGPL 21 (2), 291-308, 2013
372013
If structured propositions are logical procedures then how are procedures individuated?
M Duží
Synthese 196 (4), 1249-1283, 2019
362019
Intensional Logic and the Irreducible Contrast between de dicto and de re
M Duží
Pro-Fil–An Internet Journal of Philosophy 5 (1), 2004
322004
Do we have to deal with partiality
M Duží
Miscellanea Logica 5, 45-76, 2003
312003
Information modelling and knowledge bases XVIII
M Duží
IOS Press, 2007
272007
Epistemic closure and inferable knowledge
M Duží, B Jespersen, J Müller
The Logica Yearbook, 124-140, 2004
262004
Extensional logic of hyperintensions
M Duží
Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to …, 2012
232012
Parmenides principle
P Materna, M Duží
Philosophia 32 (1-4), 2005
222005
Towards an extensional calculus of hyperintensions
M Duží
Organon F 19 (Suppl. issue 1), 20-45, 2012
212012
The TIL-script language
N Ciprich, M Duží, M Košinár
Information Modelling and Knowledge Bases XX 190, 166, 2009
212009
Special Section on HYPERINTENSIONALITY Introduction
B Jespersen, M Duzi
Synthese 192 (3), 525-534, 2015
202015
A valid rule of β-conversion for the logic of partial functions
MDM KOSTEREC
Organon F 24 (1), 10-36, 2017
192017
Logical foundations of conceptual modelling
M Duží
Vysoká škola báňská-Technická univerzita Ostrava, 2001
192001
TRANSPARENT QUANTIFICATION INTO HYPERPROPOSITIONAL CONTEXTS" DE RE"
M Duží, B Jespersen
Logique et Analyse, 513-554, 2012
172012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20