Procedural semantics for hyperintensional logic: Foundations and applications of transparent intensional logic M Duží, B Jespersen, P Materna Springer Science & Business Media, 2010 | 331 | 2010 |
The paradox of inference and the non-triviality of analytic information M Duží Journal of Philosophical Logic 39, 473-510, 2010 | 59 | 2010 |
TIL jako procedurální logika M Duží, P Materna Pruvodce zvídavého ctenáre Transparentní intensionální logikou, 2012 | 42 | 2012 |
If structured propositions are logical procedures then how are procedures individuated? M Duží Synthese 196 (4), 1249-1283, 2019 | 39 | 2019 |
Transparent quantification into hyperintensional objectual attitudes M Duží, B Jespersen Synthese 192 (3), 635-677, 2015 | 39 | 2015 |
Procedural isomorphism, analytic information and β-conversion by value M Duží, B Jespersen Logic Journal of IGPL 21 (2), 291-308, 2013 | 38 | 2013 |
Intensional Logic and the Irreducible Contrast between de dicto and de re M Duží Pro-Fil–An Internet Journal of Philosophy 5 (1), 2004 | 32 | 2004 |
Do we have to deal with partiality M Duží Miscellanea Logica 5, 45-76, 2003 | 32 | 2003 |
Information modelling and knowledge bases XVIII M Duží IOS Press, 2007 | 26 | 2007 |
Epistemic closure and inferable knowledge M Duží, B Jespersen, J Müller The Logica Yearbook, 124-140, 2004 | 26 | 2004 |
Extensional logic of hyperintensions M Duží Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to …, 2012 | 23 | 2012 |
The TIL-script language N Ciprich, M Duží, M Košinár Information Modelling and Knowledge Bases XX, 166-179, 2009 | 22 | 2009 |
Parmenides principle P Materna, M Duží Philosophia 32 (1-4), 2005 | 22 | 2005 |
A valid rule of β-conversion for the logic of partial functions MDM KOSTEREC Organon F 24 (1), 10-36, 2017 | 21 | 2017 |
Towards an extensional calculus of hyperintensions M Duží Organon F 19 (1), 20-45, 2012 | 21 | 2012 |
Introduction to the special issue on hyperintensionality B Jespersen, M Duží Synthese 192 (3), 525-534, 2015 | 20 | 2015 |
Iterated privation and positive predication B Jespersen, M Carrara, M Duží Journal of Applied Logic 25, S48-S71, 2017 | 19 | 2017 |
Logical foundations of conceptual modelling M Duží Vysoká škola báňská-Technická univerzita Ostrava, 2001 | 19 | 2001 |
TRANSPARENT QUANTIFICATION INTO HYPERPROPOSITIONAL CONTEXTS" DE RE" M Duží, B Jespersen Logique et Analyse, 513-554, 2012 | 18 | 2012 |
Notional Attitudes (On wishing, seeking and finding) M Duží Organon F 10 (3), 237-260, 2003 | 18 | 2003 |