References

1. I. Ciardelli (2014): Modalities in the realm of questions: axiomatizing inquisitive epistemic logic. In: R. Goré, B. Kooi & A. Kurucz: Advances in Modal Logic (AIML). College Publications, London, pp. 94–113.
2. I. Ciardelli (2015): Questions in Logic. ILLC Dissertation Series DS-2016-01. Institute for Logic, Language and Computation, Amsterdam.
3. I. Ciardelli (2016): Dependency as question entailment. In: S. Abramsky, J. Kontinen, J. Väänänen & H. Vollmer: Dependence Logic: theory and applications. Springer International Publishing Switzerland, pp. 129–181, doi:10.1007/978-3-319-31803-5_8.
4. I. Ciardelli (2016): Questions as information types. Synthese, doi:10.1007/s11229-016-1221-y.
5. I. Ciardelli, J. Groenendijk & F. Roelofsen (2013): Inquisitive semantics: A new notion of meaning. Language and Linguistics Compass 7(9), pp. 459–476, doi:10.1111/lnc3.12037.
6. I. Ciardelli, J. Groenendijk & F. Roelofsen (2015): On the semantics and logic of declaratives and interrogatives. Synthese 192(6), pp. 1689–1728, doi:10.1007/s11229-013-0352-7.
7. I. Ciardelli & M. Otto (2017): Bisimulation in Inquisitive Modal Logic. Unpublished manuscript.
8. I. Ciardelli & F. Roelofsen (2011): Inquisitive logic. Journal of Philosophical Logic 40, pp. 55–94, doi:10.1007/s10992-010-9142-6.
9. I. Ciardelli & F. Roelofsen (2015): Inquisitive dynamic epistemic logic. Synthese 192(6), pp. 1643–1687, doi:10.1007/s11229-014-0404-7.
10. A. Dawar & M. Otto (2009): Modal characterisation theorems over special classes of frames. Annals of Pure and Applied Logic 161, pp. 1–42, doi:10.1016/j.apal.2009.04.002.
11. V. Goranko & M. Otto (2007): Model Theory of Modal Logic. In: P. Blackburn, J. van Benthem & F. Wolter: Handbook of Modal Logic. Elsevier, pp. 249–329, doi:10.1016/S1570-2464(07)80008-5.
12. H. Hansen (2003): Monotone Modal Logics. MSc Thesis, University of Amsterdam.
13. H. Hansen, C. Kupke & E. Pacuit (2009): Neighbourhood structures: Bisimilarity and basic model theory. Logical Methods in Computer Science 2.
14. M. Otto (2004): Elementary Proof of the van Benthem–Rosen Characterisation Theorem. Technical Report 2342. Fachbereich Mathematik, Technische Universität Darmstadt.
15. M. Otto (2004): Modal and guarded characterisation theorems over finite transition systems. Annals of Pure and Applied Logic 130, pp. 173–205, doi:10.1016/j.apal.2004.04.003.
16. M. Otto (2012): Highly acyclic groups, hypergraph covers and the guarded fragment. Journal of the ACM 59 (1), doi:10.1145/2108242.2108247.
17. E. Pacuit (2007): Neighborhood semantics for modal logic: An introduction. Lecture notes for a course at ESSLLI.
18. F. Roelofsen (2013): Algebraic foundations for the semantic treatment of inquisitive content. Synthese 190(1), pp. 79–102, doi:10.1007/s11229-013-0282-4.
19. E. Rosen (1997): Modal logic over finite structures. Journal of Logic, Language and Information 6, pp. 427–439, doi:10.1023/A:1008275906015.
20. J. Väänänen (2007): Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press, doi:10.1017/CBO9780511611193.
21. J. van Benthem (1983): Modal Logic and Classical Logic. Bibliopolis, Napoli, doi:10.2307/2274406.
22. F. Yang (2014): On extensions and variants of dependence logic: A study of intuitionistic connectives in the team semantics setting. University of Helsinki.
23. F. Yang & J. Väänänen (2016): Propositional logics of dependence. Annals of Pure and Applied Logic 167, pp. 557–589, doi:10.1016/j.apal.2016.03.003.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org