Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 8
Number of items: 8
  • Open Access
    Bezhanishvili, N., Ciancia, V., Gabelaia, D., Grilletti, G., Latella, D., & Massink, M. (2022). Geometric model checking of continuous space. Logical Methods in Computer Science, 18(4), Article 7. https://doi.org/10.46298/lmcs-18(4:7)2022, https://doi.org/10.48550/arXiv.2105.06194
  • Open Access
    Bezhanishvili, N., Grilletti, G., & Quadrellaro, D. E. (2022). An algebraic approach to inquisitive and DNA-logics. Review of Symbolic Logic, 15(4), 950-990. https://doi.org/10.1017/S175502032100054X
  • Open Access
    Grilletti, G. (2020). Questions & quantification: A study of first order inquisitive logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Grilletti, G. (2019). Disjunction and Existence Properties in Inquisitive First-Order Logic. Studia Logica, 107(6), 1199–1234. https://doi.org/10.1007/s11225-018-9835-3
  • Grilletti, G., & Ciardelli, I. (2019). An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic. In A. Silva, S. Staton, P. Sutton, & C. Umbach (Eds.), Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers (pp. 166-186). (Lecture Notes in Computer Science; Vol. 11456), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59565-7_9
  • Bezhanishvili, N., Grilletti, G., & Holliday, W. H. (2019). Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp. 35-52). (Lecture Notes in Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_3
  • 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, 20(3), 289–311. https://doi.org/10.1007/s10009-018-0483-8
  • Open Access
    Ju, F., & Grilletti, G. (2017). A Dynamic Approach to Temporal Normative Logic. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 512-525). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_35
Page of