Department of
Computer Science

Faculty of
Electrical Engineering
and Computer Science

VSB-Technical University
of Ostrava

17. listopadu 15
708 33 Ostrava
Czech Republic

Marie Duží



+420 59 732 5861
Office EA415

List of publications and Curriculum vitae


Lecture notes
Logic for practice Monografie Duží Menšík
Mathematical logic Matlogika.pdf Duzi Menšík, Dráždilová
Transparent Intensional Logic Monografie Duží Menšík
Mathematical Logic, advanced Matlogika-skripta Duží Duží
Introduction to Theoretical Computer Science UTI.pdf Sawa Duží, Menšík
Intelligent Systems Monografie Duzi Menšík
Logic and Theory of Concept Duží

Research activities:

Transparent Intensional Logic:
Procedural Semantics for Hyperintensional Logic Springer 2010
web-site (TIL); De dicto / De re (ProFil)
Open access Intech: Strawson vs. Russell

Guest editor (with Bjorn Jespersen) of Synthese special issue on hyperintensionality Introduction

Research Laboratory of Intelligent Systems LabIS; project "Logic & Artificial Intelligence for Multi-Agent Systems"

Conceptual Modelling: Logical Foundations


  • European-Japanese Conference on Information Modelling and Knowledge Bases: EJC web sites; EJC 2006
  • European Congress of Analytic Philosophy ECAP 6; workshop: Structured Meanings and Concepts
  • European Congress of Analytic Philosophy ECAP 7 Milano; paper: Procedural isomorphism
  • Logic, Methodology and Philosophy of Science, LMPS Nancy, France; symposium: Hyperintension, intension and extension
  • Cooperation: Dr. Bjorn Jespersen, the Netherlands: Tutorials

    Photos and diaris from my trips: to download