Follow
Zeinab Bakhtiari
Zeinab Bakhtiari
LORIA, CNRS-Université de Lorraine
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Epistemic updates on bilattices
Z Bakhtiarinoodeh, U Rivieccio
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015
14*2015
Neighbourhood contingency bisimulation
Z Bakhtiari, H Van Ditmarsch, HH Hansen
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India …, 2017
112017
Bisimulation for weakly expressive coalgebraic modal logics
Z Bakhtiari, H Hvid Hansen
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017
102017
How does uncertainty about other voters determine a strategic vote?
Z Bakhtiari, H van Ditmarsch, A Saffidine
arXiv preprint arXiv:1809.10489, 2018
22018
Algebraic Semantics of Refinement Modal Logic
Z Bakhtiari, H van Ditmarsch, S Frittella
Advances in Modal Logic 11, 2016
12016
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
The system can't perform the operation now. Try again later.
Articles 1–8