Epistemic updates on bilattices Z Bakhtiarinoodeh, U Rivieccio Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015 | 17* | 2015 |
Bisimulation for weakly expressive coalgebraic modal logics Z Bakhtiari, H Hvid Hansen 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 4 …, 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 | 2 | 2016 |
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) F Bonchi, B König | | 2019 |
A (Co) algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics H 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 |