Logically Speaking. A Festschrift for Marie Du¿í

This Festschrift is in honour of Professor Marie Düí, V¿B - Technical University of Ostrava. The 16 contributions, authored by 24 colleagues, run
the gamut from foundations in logic and theoretical computer science through philosophical logic, multi-agent systems and theory of communication
to personal recollections.


Marie Düí is best known for her profound and extensive work on both the foundations and multiple applications of Transparent Intensional Logic, originally developed by Pavel Tichý in the late 1960s. Her work, whether single-authored or co-authored, has appeared in various high-level journals. In 2008 the Rector of her home university granted Marie the award Outstanding Results in the Development of Science and Research.
The 2010 monograph Procedural Semantics for Hyperintensional Logic earned Marie and her coauthors the prestigious Award for Outstanding
Results of Major Scientific Importance from the Academy of Sciences of the Czech Republic. The major achievements of Transparent Intensional
Logic that Marie has been involved in over the last decade have been compiled into the volume Transparent Intensional Logic: Selected Recent
Essays, also published by College Publications.