P. Aczel and N. Mendler, A final coalgebra theorem, Proceedings of Category Theory and Computer Science, pp.357-365
DOI : 10.1007/BFb0018361

J. Adámek, H. Herrlich, and G. E. Strecker, Abstract and Concrete Categories -The Joy of Cats, 2009.

J. Adámek and H. E. Porst, From Varieties of Algebras to Covarieties of Coalgebras, Electronic Notes in Theoretical Computer Science, vol.44, issue.1, pp.27-46, 2001.
DOI : 10.1016/S1571-0661(04)80901-0

T. Ågotnes and H. Van-ditmarsch, What will they say??Public announcement games. Synthese, pp.57-85, 2011.

O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information, vol.5, issue.1, pp.25-63, 1996.
DOI : 10.1007/BF00215626
URL : http://antares.math.tau.ac.il/~aa/articles/jlli96.ps.gz

O. Arieli and A. Avron, The value of the four values, Artificial Intelligence, vol.102, issue.1, pp.97-141, 1998.
DOI : 10.1016/S0004-3702(98)00032-0

R. J. Aumann, Agreeing to disagree. The Annals of Statistics, pp.1236-1239, 1976.

S. Awodey, Category Theory. Oxford Logic Guides, 2006.

A. Baltag, A Coalgebraic Semantics for Epistemic Programs, Electronic Notes in Theoretical Computer Science, vol.82, issue.1, pp.17-38, 2003.
DOI : 10.1016/S1571-0661(04)80630-3

A. Baltag, B. Coecke, and M. Sadrzadeh, Algebra and Sequent Calculus for Epistemic Actions, Electronic Notes in Theoretical Computer Science, vol.126, pp.27-52, 2005.
DOI : 10.1016/j.entcs.2004.11.012

A. Baltag, L. Moss, and S. Solecki, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), pp.43-56, 1998.
DOI : 10.1016/0304-3975(81)90019-0

S. Barbera, A. Bogomolnaia, and H. Van, Strategy-proof probabilistic rules for expected utility maximizers, Mathematical Social Sciences, vol.35, issue.2, pp.89-103, 1998.
DOI : 10.1016/S0165-4896(97)00043-7

J. J. Bartholdi, C. A. Tovey, and M. A. Trick, The computational difficulty of manipulating an election, Social Choice and Welfare, vol.8, issue.3, pp.227-241, 1989.
DOI : 10.1007/BF00295861

J. Barwise and J. Perry, Situations and Attitudes. Bradford books, 1985.

N. D. Belnap, How a computer should think, Contemporary Aspects of Philosophy, 1977.

N. D. Belnap, A Useful Four-Valued Logic, pp.5-37, 1977.
DOI : 10.1007/978-94-010-1161-7_2

J. Van-benthem, Games in Dynamic-Epistemic Logic, Bulletin of Economic Research, vol.53, issue.4, pp.219-248, 2001.
DOI : 10.1111/1467-8586.00133

J. Van-benthem, N. Bezhanishvili, S. Enqvist, and J. Yu, Instantial neighbourhood logic. The Review of Symbolic Logic, pp.116-144, 2017.

J. Van-benthem, J. Van-eijck, and B. Kooi, Logics of communication and change. Information and Computation, pp.1620-1662, 2006.

D. Bergemann and S. Morris, Robust Mechanism Design, Econometrica, vol.73, issue.6, pp.1771-1813, 2005.
DOI : 10.1111/j.1468-0262.2005.00638.x

E. W. Beth, On Padoa???s Method in the Theory of Definition, Indagationes Mathematicae (Proceedings), vol.56, issue.2, pp.194-195, 1956.
DOI : 10.1016/S1385-7258(53)50042-3

M. Bílková and M. Dostál, Expressivity of Many-Valued Modal Logics, Coalgebraically, Proceedings of the 23rd International Workshop on the Logic, Language, Information, and Computation, pp.109-124, 2016.
DOI : 10.1016/j.tcs.2007.09.023

M. Bílková, A. Palmigiano, and Y. Venema, Proof systems for the coalgebraic cover modality, Advances in Modal Logic 7, pp.1-21, 2008.

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic. Cambridge Tracts in Theoretical Computer Science, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503

P. Blackburn, J. F. Van-benthem, and F. Wolter, Handbook of modal logic, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00580143

F. Bou, F. Esteva, L. Godo, and R. O. Rodríguez, On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice, Journal of Logic and Computation, vol.21, issue.5, pp.739-790, 2009.
DOI : 10.1093/logcom/exp062

F. Bou and U. Rivieccio, Bilattices with Implications, Studia Logica, vol.9, issue.1, pp.651-675, 2013.
DOI : 10.1080/11663081.1999.10510958

C. Boutilier and J. Rosenschein, Incomplete Information and Communication in Voting, Handbook of Computational Social Choice, chapter 10, 2015.
DOI : 10.1017/CBO9781107446984.011

L. Bozzelli, H. Van-ditmarsch, T. French, J. Hales, and S. Pinchinat, Refinement modal logic, Information and Computation, vol.239, pp.303-339, 2014.
DOI : 10.1016/j.ic.2014.07.013
URL : https://hal.archives-ouvertes.fr/hal-01098737

F. Brandt, V. Conitzer, U. Endriss, A. D. Procaccia, and J. Lang, Handbook of computational social choice, 2016.
DOI : 10.1017/CBO9781107446984
URL : https://hal.archives-ouvertes.fr/hal-01504575

A. Brogan, IV. ARISTOTLE'S LOGIC OF STATEMENTS ABOUT CONTINGENCY, Mind, vol.LXXVI, issue.301, pp.7649-61, 1967.
DOI : 10.1093/mind/LXXVI.301.49

S. Burris and H. P. Sankappanavar, A Course in Universal Algebra. Graduate Texts in Mathematics, 2011.

L. Cabrer, U. Rivieccio, and R. O. Rodríguez, ??ukasiewicz Public Announcement Logic, Proceedings of the 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, pp.108-122, 2016.
DOI : 10.1007/s11225-007-9074-5

R. Carnap, Modalities and Quantification, The Journal of Symbolic Logic, vol.1, issue.02, pp.33-64, 1946.
DOI : 10.2307/2017458

B. F. Chellas, Modal logic, an intoduction, 1980.
DOI : 10.1017/cbo9780511621192

Y. Chevaleyre, U. Endriss, J. Lang, and N. Maudet, A Short Introduction to Computational Social Choice, Lecture Notes in Computer Science, vol.4362, pp.51-69, 2007.
DOI : 10.1007/978-3-540-69507-3_4

S. Chopra, E. Pacuit, and R. Parikh, Knowledge-Theoretic Properties of Strategic Voting, Proceedings of the 9th European Conference on Logics in Artificial Intelligence, pp.18-30, 2004.
DOI : 10.1007/978-3-540-30227-8_5

C. Cirstea, A. Kurz, D. Pattinson, Y. Schröder, and . Venema, Modal Logics are Coalgebraic, The Computer Journal, vol.54, issue.1, pp.31-41, 2008.
DOI : 10.1093/comjnl/bxp004

V. Conitzer, T. Walsh, and L. Xia, Dominating manipulations in voting with partial information, Proceedings of the 25th Conference on Artificial Intelligence, pp.638-643, 2011.

W. Conradie, S. Frittella, A. Palmigiano, and A. Tzimoulis, Probabilistic Epistemic Updates on Algebras, Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction, pp.64-76, 2015.
DOI : 10.1305/ndjfl/1082637807
URL : https://hal.archives-ouvertes.fr/hal-01509416

W. Craig, Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, The Journal of Symbolic Logic, vol.14, issue.03, pp.269-285, 1957.
DOI : 10.2307/2963594

B. A. Davey and H. A. Priestley, Lattices and Order, 2002.

H. Van-ditmarsch and T. French, Simulation and Information: Quantifying over Epistemic Events, Proceedings of the 1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, pp.51-65, 2008.
DOI : 10.1007/978-3-642-05301-6_4

H. Van-ditmarsch, T. French, and S. Pinchinat, Future event logic-axioms and complexity, Advances in Modal Logic, vol.8, issue.8, pp.77-99, 2010.

H. Van-ditmarsch, W. Van-der-hoek, and P. Iliev, Everything is Knowable - How to Get to Know Whether a Proposition is True, Theoria, vol.151, issue.2, pp.93-114, 2012.
DOI : 10.1007/978-1-4020-5839-4

H. Van-ditmarsch, W. Van-der-hoek, and B. Kooi, Dynamic epistemic logic with assignment, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.141-148, 2005.
DOI : 10.1145/1082473.1082495

H. Van-ditmarsch, W. Van-der-hoek, B. Kooi, and B. Kooi, Dynamic epistemic logic Springer Science & Business Media Playing cards with Hintikka: An introduction to dynamic epistemic logic, Ditmarsch, W. van der Hoek, 2005.

D. Dubois, On Ignorance and Contradiction Considered as Truth-Values, Logic Journal of IGPL, vol.16, issue.2, pp.195-216, 2008.
DOI : 10.1093/jigpal/jzn003

J. Duggan and T. Schwartz, Strategic manipulability without resoluteness or shared beliefs: Gibbard-Satterthwaite generalized, Social Choice and Welfare, vol.17, issue.1, pp.85-93, 2000.
DOI : 10.1007/PL00007177

E. Elkind, U. Grandi, F. Rossi, and A. Slinko, Gibbard-Satterthwaite games, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp.533-539, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01523671

S. Enqvist, Homomorphisms of Coalgebras from Predicate Liftings, Proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, pp.126-140, 2013.
DOI : 10.1007/978-3-642-40206-7_11

D. W. Etherington, Reasoning with Incomplete Information, 1988.

R. Fagin and J. Y. Halpern, Reasoning about knowledge and probability, Journal of the ACM, vol.41, issue.2, pp.340-367, 1994.
DOI : 10.1145/174652.174658
URL : http://www.cs.cornell.edu/Info/People/halpern/papers/knowledge_prob.ps

R. Fagin and J. Y. Halpern, Belief, awareness, and limited reasoning, Artificial Intelligence, vol.34, issue.1, pp.39-76, 1988.
DOI : 10.1016/0004-3702(87)90003-8
URL : http://www.almaden.ibm.com/cs/people/fagin/ai88.pdf

R. Fagin, Y. Moses, J. Y. Halpern, and M. Y. Vardi, Reasoning About Knowledge. The MIT Press paperback series, 2003.

J. Fan, Logical studies for non-contingency operator, p.2015

J. Fan, A note on non-contingency logic (manuscript), 2016.

J. Fan and H. Van-ditmarsch, Neighborhood Contingency Logic, Proceedings of the 6th Indian Conference on Logic and Its Applications, pp.88-99, 2015.
DOI : 10.1007/978-3-662-45824-2_6
URL : https://hal.archives-ouvertes.fr/hal-01273556

J. Fan, Y. Wang, and H. Van-ditmarsch, Almost necessary, Advances in Modal Logic 10, pp.178-196, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01273569

J. Fan, Y. Wang, and H. Van-ditmarsch, Contingency and knowing whether. The Review of Symbolic Logic, pp.75-107, 2015.

R. Farquharson, Theory of Voting, 1969.

M. Fitting, Bilattices and the theory of truth, Journal of Philosophical Logic, vol.13, issue.3, pp.225-256, 1989.
DOI : 10.2140/pjm.1955.5.285

M. Fitting, Many-valued modal logics, Fundamenta Informaticae, vol.15, issue.3-4, pp.235-254, 1991.

M. Fitting, Many-valued modal logics II, Fundamenta Informaticae, vol.17, issue.12, pp.55-73, 1992.

M. Fitting, Bilattices are nice things, Proceedings of the PhiLog Conference on Self- Reference. CSLI Publications, 2006.

]. S. Frittella, G. Greco, A. Kurz, and A. Palmigiano, Multi-type display calculus for propositional dynamic logic, Journal of Logic and Computation, vol.26, issue.6, pp.2067-2104, 2016.
DOI : 10.1093/logcom/exu064
URL : https://hal.archives-ouvertes.fr/hal-01509392

S. Frittella, G. Greco, A. Kurz, A. Palmigiano, and V. Sikimi?, Multi-type sequent calculi In Trends in Logic XIII: Gentzen's and Ja?kowski's Heritage 80 Years of Natural Deduction and Sequent Calculi, pp.81-93, 2014.

S. Frittella, G. Greco, A. Kurz, A. Palmigiano, and V. Sikimi?, A proof-theoretic semantic analysis of dynamic epistemic logic, Journal of Logic and Computation, vol.26, issue.6, 2014.
DOI : 10.1093/logcom/exu063
URL : https://hal.archives-ouvertes.fr/hal-01509388

S. Frittella, G. Greco, A. Kurz, A. Palmigiano, and V. Sikimi?, Multi-type display calculus for dynamic epistemic logic, Journal of Logic and Computation, vol.26, issue.6, pp.2017-2065, 2016.
DOI : 10.1093/logcom/exu068
URL : https://hal.archives-ouvertes.fr/hal-01509398

S. Frittella, G. Greco, A. Palmigiano, and F. Yang, A Multi-type Calculus for Inquisitive Logic, Proceedings of the 23rd International Workshop on the Logic, Language, Information, and Computation, pp.215-233, 2016.
DOI : 10.1016/j.apal.2016.03.003
URL : https://hal.archives-ouvertes.fr/hal-01509413

D. M. Gabbay and L. M. , Interpolation and definability: modal and intuitionistic logics, 2005.

J. D. Gerbrandy and W. Groeneveld, Reasoning about information change, Journal of Logic, Language and Information, vol.6, issue.2, pp.147-169, 1997.
DOI : 10.1023/A:1008222603071

A. Gibbard, Manipulation of Voting Schemes: A General Result, Econometrica, vol.41, issue.4, pp.587-601, 1973.
DOI : 10.2307/1914083

M. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, vol.3, issue.3, pp.265-316, 1988.
DOI : 10.1007/BF00485052

R. Goldblatt, Varieties of complex algebras, Annals of Pure and Applied Logic, vol.44, issue.3, pp.173-242, 1989.
DOI : 10.1016/0168-0072(89)90032-8

D. Gorín and L. Schröder, Simulations and Bisimulations for Coalgebraic Modal Logics, Proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, pp.253-266, 2013.
DOI : 10.1007/978-3-642-40206-7_19

G. Greco, A. Kurz, and A. Palmigiano, Dynamic Epistemic Logic Displayed, Proceedings of the 4th International Workshop on Logic, Rationality, and Interaction, pp.135-148, 2013.
DOI : 10.1007/978-3-642-40948-6_11

H. P. Gumm, State based systems are coalgebras, Cubo?Matemática Educacional, vol.5, pp.239-262, 2003.

J. Hales, Refinement quantifiers for logics of belief and knowledge. Honours Thesis, The University of Western Australia, 2011.

J. Hales, Arbitrary Action Model Logic and Action Model Synthesis, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.253-262, 2013.
DOI : 10.1109/LICS.2013.31

J. Hales, T. French, and R. Davies, Refinement Quantified Logics of Knowledge, Electronic Notes in Theoretical Computer Science, vol.278, pp.85-98, 2011.
DOI : 10.1016/j.entcs.2011.10.008

J. Y. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM, vol.37, issue.3, pp.549-587, 1990.
DOI : 10.1145/79147.79161

J. Y. Halpern and L. D. Zuck, A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols, Journal of the ACM, vol.39, issue.3, pp.449-478, 1992.
DOI : 10.1145/146637.146638

H. H. Hansen, C. Kupke, and E. Pacuit, Neighbourhood Structures: Bisimilarity and Basic Model Theory, Logical Methods in Computer Science, vol.390, issue.1, pp.1-38, 2009.
DOI : 10.1017/CBO9780511621192

J. C. Harsanyi, Games with incomplete information played by "bayesian" players, I-III: part i. The Basic Model&, Management science, vol.50, pp.12-1804, 2004.

N. Hazon, Y. Aumann, S. Kraus, and M. Wooldridge, On the evaluation of election outcomes under uncertainty, Artificial Intelligence, vol.189, pp.1-18, 2012.
DOI : 10.1016/j.artint.2012.04.009

A. Heifetz and P. Mongin, Probability Logic for Type Spaces, Games and Economic Behavior, vol.35, issue.1-2, pp.31-53, 2001.
DOI : 10.1006/game.1999.0788

M. Hennessy and R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, issue.1, pp.137-161, 1985.
DOI : 10.1145/2455.2460

J. Hintikka, Knowledge and Belief, An Introduction to the Logic of the Two Notions, Republished in 2005 by King's College, 1962.

B. Jacobs and A. Sokolova, Exemplaric Expressivity of Modal Logics, Journal of Logic and Computation, vol.20, issue.5, pp.1041-1068, 2010.
DOI : 10.1093/logcom/exn093

W. Jamroga and W. Van-der-hoek, Agents that know how to play, Fundamenta Informaticae, vol.63, issue.2-3, pp.185-219, 2004.

A. Jung and U. Rivieccio, Kripke Semantics for Modal Bilattice Logic, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.438-447, 2013.
DOI : 10.1109/LICS.2013.50
URL : http://www.cs.bham.ac.uk/~axj/pub/papers/Jung-Rivieccio-2013-Kripke-semantics-for-modal-bilattice-logic.pdf

B. Klin, Coalgebraic Modal Logic Beyond Sets, Electronic Notes in Theoretical Computer Science, vol.173, pp.177-201, 2007.
DOI : 10.1016/j.entcs.2007.02.034
URL : https://doi.org/10.1016/j.entcs.2007.02.034

K. Konczak and J. Lang, Voting procedures with incomplete preferences, Proceedings of Multidisciplinary Workshop on Advances in Preference Handling (IJCAI 2005), pp.124-129, 2005.

S. A. Kripke, Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi, Zeitschrift f??r Mathematische Logik und Grundlagen der Mathematik, vol.4, issue.5-6, pp.67-96, 1963.
DOI : 10.3406/phlou.1938.3890

C. Kupke and R. A. Leal, Characterising Behavioural Equivalence: Three Sides of One Coin, Proceedings of the 3rd International Conference on Algebra and Coalgebra in Computer Science, pp.97-112, 2009.
DOI : 10.1007/978-1-4757-3550-5

C. Kupke and D. Pattinson, Coalgebraic semantics of modal logics: An overview, Theoretical Computer Science, vol.412, issue.38, pp.5070-5094, 2011.
DOI : 10.1016/j.tcs.2011.04.023

A. Kurz, Logics for coalgebras and applications to computer science, 2000.

A. Kurz and A. Palmigiano, Epistemic Updates on Algebras, Logical Methods in Computer Science, vol.9, issue.4, pp.1-28, 2013.
DOI : 10.2168/LMCS-9(4:17)2013

G. Lakemeyer, Tractable meta-reasoning in propositional logics of belief, Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp.402-408, 1987.

S. and M. Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1998.
DOI : 10.1007/978-1-4612-9839-7

H. J. Levesque, A logic of implicit and explicit belief, Proceedings of the National Conference on Artificial Intelligence, pp.198-202, 1984.

P. B. Levy, Similarity Quotients as Final Coalgebras, Proceeding of the 14th International Conference on Foundations of Software Science and Computational Structures, pp.27-41, 2011.
DOI : 10.1016/S0304-3975(99)00035-3

K. Leyton-brown and Y. Shoham, Essentials of Game Theory: A Concise Multidisciplinary Introduction, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.2, issue.1, pp.1-88, 2008.
DOI : 10.2200/S00108ED1V01Y200802AIM003

T. Litak, D. Pattinson, K. Sano, and L. Schröder, Coalgebraic Predicate Logic, Proceedings of the 39th International Colloquium on Automata, Languages, and Programming, pp.299-311, 2012.
DOI : 10.1007/978-3-642-31585-5_29

A. Lomuscio, Knowledge sharing among ideal agents, 1999.

J. ?ukasiewicz, Aristotle's syllogistic from the standpoint of modern formal logic, 1957.

M. Ma, A. Palmigiano, and M. Sadrzadeh, Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic, Annals of Pure and Applied Logic, vol.165, issue.4, pp.963-995, 2014.
DOI : 10.1016/j.apal.2013.11.004

L. Maksimova, The Beth properties, interpolation and amalgamability in varieties of modal algebras, Soviet Math. Dokl, pp.327-331, 1992.

L. Maksimova, Definability and interpolation in classical modal logics, Contemporary Mathematics, vol.131, pp.583-583, 1993.
DOI : 10.1090/conm/131.3/1175909

J. Marti, Y. J. Venema118-]-m, and . Marx, Lax extensions of coalgebra functors and their logic, Journal of Computer and System Sciences, vol.81, issue.5, pp.880-900, 1995.
DOI : 10.1016/j.jcss.2014.12.006

R. Meir, Plurality voting under uncertainty, Proceedings of the 29th AAAI Conference on Artificial Intelligence (IJCAI 2015), pp.2103-2109, 2015.

R. Meir, O. Lev, and J. S. Rosenschein, A local-dominance theory of voting equilibria, Proceedings of the fifteenth ACM conference on Economics and computation, EC '14, pp.313-330, 2014.
DOI : 10.1145/2600057.2602860

R. Montague, Universal grammar, Theoria, vol.26, issue.3, pp.373-398, 1970.
DOI : 10.5840/monist19695327

H. Montgomery and R. Routley, Contingency and non-contingency bases for normal modal logics, Logique et analyse, vol.36, issue.935, pp.318-328, 1966.

G. E. Moore, A reply to my critics The Philosophy of G, E. Moore, pp.535-677, 1942.

L. Moss, Coalgebraic logic. Annals of Pure and Applied Logic, pp.277-317, 1999.

L. S. Moss, Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories, Electronic Notes in Theoretical Computer Science, vol.106, pp.279-295, 2004.
DOI : 10.1016/j.entcs.2004.02.036

R. Nelken and N. Francez, Bilattices and the semantics of natural language questions, Linguistics and Philosophy, vol.25, issue.1, pp.37-64, 2002.
DOI : 10.1023/A:1014369623998

S. Odintsov and H. Wansing, Modal logics with Belnapian truth values, Journal of Applied Non-Classical Logics, vol.20, issue.3, pp.279-304, 2010.
DOI : 10.3166/jancl.20.279-304

M. J. Osborne and A. Rubinstein, A course in game theory, 1994.

E. Pacuit, Some comments on history based structures, Journal of Applied Logic, vol.5, issue.4, pp.613-624, 2007.
DOI : 10.1016/j.jal.2006.03.012

R. Parikh, C. Tasdemir, and A. Witzel, THE POWER OF KNOWLEDGE IN GAMES, International Game Theory Review, vol.1, issue.04, p.1340030, 2013.
DOI : 10.1023/A:1025054901745

D. Pattinson, Coalgebraic modal logic: soundness, completeness and decidability of local consequence, Theoretical Computer Science, vol.309, issue.1-3, pp.177-193, 2003.
DOI : 10.1016/S0304-3975(03)00201-9

D. Pattinson, Expressive Logics for Coalgebras via Terminal Sequence Induction, Notre Dame Journal of Formal Logic, vol.45, issue.1, pp.19-33, 2004.
DOI : 10.1305/ndjfl/1094155277

M. Pauly, A Modal Logic for Coalitional Power in Games, Journal of Logic and Computation, vol.12, issue.1, pp.149-166, 2002.
DOI : 10.1093/logcom/12.1.149

C. Pizzi, Contingency logics and propositional quantification, Manuscrito, vol.22, issue.2, p.283, 1999.

J. A. Plaza, Logics of public communications, ISMIS 1989, pp.201-216, 1989.
DOI : 10.1007/s11229-007-9168-7

H. Reichgelt, Logics for reasoning about knowledge and belief, The Knowledge Engineering Review, vol.4, issue.02, pp.119-139, 1989.
DOI : 10.1017/S0269888900004884
URL : http://dspace.nelson.usf.edu/xmlui/bitstream/10806/11302/1/reichgelt_1989_logics_citation.pdf

U. Rivieccio, An algebraic study of bilattice-based logics, 2010.

U. Rivieccio, Algebraic semantics for bilattice public announcement logic, Trends in Logic XIII, pp.199-215, 2014.

U. Rivieccio, Bilattice public announcement logic Advances in Modal Logic, pp.459-477, 2014.

U. Rivieccio, A. Jung, and R. Jansana, Four-valued modal logic: Kripke semantics and duality, Journal of Logic and Computation, vol.27, issue.1, pp.155-199, 2017.
DOI : 10.1093/logcom/exv038

J. J. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000.
DOI : 10.1016/S0304-3975(00)00056-6

M. A. Satterthwaite, Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions, Journal of Economic Theory, vol.10, issue.2, pp.187-217, 1975.
DOI : 10.1016/0022-0531(75)90050-2

L. Schröder, Expressivity of coalgebraic modal logic: The limits and beyond, Theoretical Computer Science, vol.390, issue.2-3, pp.230-247, 2008.
DOI : 10.1016/j.tcs.2007.09.023

L. Schröder and D. Pattinson, PSPACE bounds for rank-1 modal logics, ACM Trans. Comput. Log, vol.10, issue.2, pp.13-14, 2009.

L. Schröder and D. Pattinson, Strong completeness of coalgebraic modal logics, Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, pp.673-684, 2009.

D. Scott, Advice on Modal Logic, Philosophical problems in logic, pp.143-173, 1970.
DOI : 10.1007/978-94-010-3272-8_7

F. Seifan, L. Schröder, and D. Pattinson, Uniform interpolation for coalgebraic modal logic, the 7th Conference on Algebra and Coalgebra in Computer Science, 2017.

K. Sim, Epistemic logic and logical omniscience: A survey, International Journal of Intelligent Systems, vol.12, issue.1, pp.57-81, 1997.
DOI : 10.1002/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X

K. M. Sim, Beliefs and bilattices, ISMIS 1994, pp.594-603, 1994.
DOI : 10.1007/3-540-58495-1_59

A. Slinko, . Sh, and . White, Is it ever safe to vote strategically? Social Choice and Welfare, pp.403-427, 2014.

C. Steinsvold, A Note on Logics of Ignorance and Borders, Notre Dame Journal of Formal Logic, vol.49, issue.4, pp.385-392, 2008.
DOI : 10.1215/00294527-2008-018

S. K. Thomason, Categories of frames for modal logic, The Journal of Symbolic Logic, vol.39, issue.03, pp.439-442, 1975.
DOI : 10.2307/2272167

W. Van-der-hoek and A. Lomuscio, A Logic For Ignorance, Electronic Notes in Theoretical Computer Science, vol.85, issue.2, pp.117-133, 2004.
DOI : 10.1016/S1571-0661(05)82606-4

M. Y. Vardi and G. H. Wright, An essay in modal logic. Norh-Holland, 1951. [156] Y. Wang. Beyond knowing that: A new generation of epistemic logics, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge Jaakko Hintikka on knowledge and game theoretical semantics, Outstanding contributions to logic, pp.293-305, 1986.

Y. Wang and Q. Cao, On axiomatizations of public announcement logic, Synthese, vol.75, issue.1, pp.103-134, 2013.
DOI : 10.1023/A:1026168632319

L. Xia and V. Conitzer, Determining possible and necessary winners given partial orders, Journal of Artificial Intelligence Research, vol.41, pp.25-67, 2011.