Christoff, Z., Hansen, J.U. (2015) A Logic for Diffusion in Social Networks.

Journal of Applied Logic, Vol. 13 (pp 48-77)

Article | https://doi.org/10.1016/j.jal.2014.11.011 | UvA-DARE

Christoff, Z. (2013) A Logic for Social Influence through Communication.

In Lorini, E. (Eds.), Proceedings of the Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013): Toulouse, France, December 12-13, 2013 (pp 31-39) (CEUR Workshop Proceedings, Vol. 1113). CEUR-WS.

Christoff, Z.L., Rendsvig, R.K. (2015) Dynamic Logics for Threshold Models and their Epistemic Extension.

Paper | https://www.academia.edu/6864788/Dynamic_Logics_for_Threshold_Models_and_their_Epistemic_Extension_-_ELISIEM_2014 | UvA-DARE

Christoff, Z.L. (2016) Dynamic logics of networks: Information flow and the spread of opinion.

Thesis, fully internal | UvA-DARE

Ciancia, V., Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E. (2011) Model-Driven Development of Long Running Transactions.

In Wirsing, M. Hölzl, M. (Eds.), Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (pp 326-348) (Lecture Notes in Computer Science, Vol. 6582). Springer.

Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M. (2018) Spatio-temporal model-checking of vehicular movement in public transport systems.

International Journal on Software Tool for Technology Transfer, Vol. 20 (pp 289–311)

Article | https://doi.org/10.1007/s10009-018-0483-8 | UvA-DARE

Ciancia, V., Venema, Y. (2012) Stream Automata Are Coalgebras.

In Pattinson, D. Schröder, L. (Eds.), Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012 : revised selected papers (pp 90-108) (Lecture Notes in Computer Science, Vol. 7399). Springer.

Ciancia, V., Venema, Y. (2019) Ω-Automata: A Coalgebraic Perspective on Regular ω-Languages.

In Roggenbach, M. Sokolova, A. (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science: CALCO 2019, June 3-6, 2019, London, United Kingdom (Leibniz International Proceedings in Informatics, Vol. 139). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Ciancia, V. (2011) Interaction and observation, categorically.

Electronic Proceedings in Theoretical Computer Science, Vol. 59 (pp 25-36)

Article | https://doi.org/10.4204/EPTCS.59.3 | UvA-DARE

Ciardelli, I., Coppock, E., Roelofsen, F. (2018) Implicatures of modified numerals: quality or quantity?.

In Truswell, R. Cummins, C. Heycock, C. Rabern, B. Rohde, H. (Eds.), Proceedings of Sinn und Bedeutung 21: University of Edinburgh : 4-6 September 2016 (pp 283-300). semanticsarchive.net.

Ciardelli, I., Groenendijk, J., Roelofsen, F. (2013) Towards a logic of information exchange: an inquisitive witness semantics.

In Bezhanishvili, G. Löbner, S. Marra, V. Richter, F. (Eds.), Logic, Language and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011 : revised selected papers (pp 51-72) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7758). Springer.

Ciardelli, I., Groenendijk, J., Roelofsen, F. (2013) Inquisitive semantics: a new notion of meaning.

Language and Linguistics Compass, Vol. 7 (pp 459-476)

Article | https://doi.org/10.1111/lnc3.12037 | UvA-DARE

Ciardelli, I., Groenendijk, J., Roelofsen, F. (2014) Information, issues, and attention.

In Gutzmann, D. Köpping, J. Meier, C. (Eds.), Approaches to Meaning: Composition, Values, and Interpretation (pp 128-166) (Current Research in the Semantics/Pragmatics Interface, Vol. 32). Brill.

Ciardelli, I., Groenendijk, J., Roelofsen, F. (2015) On the semantics and logic of declaratives and interrogatives.

Synthese, Vol. 192 (pp 1689-1728)

Article | https://doi.org/10.1007/s11229-013-0352-7 | UvA-DARE

Ciardelli, I., Roelofsen, F., Theiler, N. (2017) Composing alternatives.

Linguistics and Philosophy, Vol. 40 (pp 1-36)

Article | https://doi.org/10.1007/s10988-016-9195-2 | UvA-DARE

Ciardelli, I., Roelofsen, F. (2011) Inquisitive logic.

Journal of Philosophical Logic, Vol. 40 (pp 55-94)

Article | https://doi.org/10.1007/s10992-010-9142-6 | UvA-DARE

Ciardelli, I., Roelofsen, F. (2015) Alternatives in Montague grammar.

In Csipak, E. Zeijlstra, H. (Eds.), Proceedings of Sinn und Bedeutung 19 (pp 161-178). Georg-August-University.

Ciardelli, I., Roelofsen, F. (2017) Hurford's constraint, the semantics of disjunction, and the nature of alternatives.

Natural Language Semantics, Vol. 25 (pp 199-222)

Article | https://doi.org/10.1007/s11050-017-9134-y | UvA-DARE

Ciardelli, I., Roelofsen, F. (2018) An Inquisitive Perspective on Modals and Quantifiers.

Annual Review of Linguistics, Vol. 4 (pp 129-149)

Review article | https://doi.org/10.1146/annurev-linguistics-011817-045626 | UvA-DARE

Ciardelli, I. (2014) Modalities in the realm of questions: axiomatizing inquisitive epistemic logic.

In Goré, R. Kooi, B. Kurucz, A. (Eds.), Advances in Modal Logic: AiML 10 (pp 94-113). College Publications.