Epistemic updates on bilattices Z Bakhtiarinoodeh, U Rivieccio Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015 | 14* | 2015 |
Bisimulation for weakly expressive coalgebraic modal logics Z Bakhtiari, H Hvid Hansen 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017 | 11 | 2017 |
Neighbourhood contingency bisimulation Z Bakhtiari, H Van Ditmarsch, HH Hansen Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India …, 2017 | 11 | 2017 |
How does uncertainty about other voters determine a strategic vote? Z Bakhtiari, H van Ditmarsch, A Saffidine arXiv preprint arXiv:1809.10489, 2018 | 2 | 2018 |
Algebraic Semantics of Refinement Modal Logic Z Bakhtiari, H van Ditmarsch, S Frittella Advances in Modal Logic 11, 2016 | 1 | 2016 |
A (Co) algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics HH Hansen, Z Bakhtiari, A Kurz Syntax Meets Semantics 2019, 2019 | | 2019 |
A (Co) algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics Z Bakhtiari, HH Hansen, A Kurz | | 2019 |
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) A Simpson, A Gianola, S Kasangian, N Sabadini, J Adámek, S Milius, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | | 2017 |