Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2020

    Counterfactuals and dependencies on causal teams: expressive power and deduction systems

    Barbero, F. & Yang, F., 20 heinäkuuta 2020, Advances in Modal Logic. Olivetti, N., Verbrugge, R., Negri, S. & Sandu, G. (toim.). College publications, Vuosikerta 13. s. 73-93 21 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
  • Modal logic for induction

    Negri, S., Fellin, G. & Schuster, P., 2020, Advances in Modal Logic. College publications, Vuosikerta 13. s. 209-227 19 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
  • Theorem proving for non-normal modal logics

    Dalmonte, T., Negri, S., Olivetti, N. & Pozzato, G. L., 2020, julkaisussa : CEUR Workshop Proceedings. 2785, s. 17-22 6 Sivumäärä

    Tutkimustuotos: ArtikkelijulkaisuKonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
  • Thinking About Causation: A Causal Language with Epistemic Operators

    Barbero, F., Schulz, K., Smets, S., Velazquez-Quesada, F. R. & Xie, K., 22 joulukuuta 2020, Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers. Martins, M. & Sedlar, I. (toim.). Springer, Vuosikerta LNCS, volume 12569. s. 17-32 16 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 12569).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 2019

    Geometric Rules in Infinitary Logic

    Negri, S., 2019, Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019. Piecha, T. & Schroeder-Heister, P. (toim.). Tübingen: University of Tübingen, s. 22 1 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

  • Interventionist counterfactuals on causal teams

    Barbero, F. & Sandu, G., 3 tammikuuta 2019, Proceedings CREST 2018. s. 16-30 15 Sivumäärä (Logic in Computer Science (cs.LO)).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
  • Nested Sequents for the Logic of Conditional Belief

    Girlando, M., Lellmann, B. & Olivetti, N., 2019, Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (toim.). Cham: Springer International Publishing AG, s. 709-725 17 Sivumäärä (Lecture Notes in Artificial Intelligence; Vuosikerta 11468).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics

    Dalmonte, T., Negri, S., Olivetti, N. & Pozzato, G. L., 2019, AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings. Alviano, M., Greco, G. & Scarcello, F. (toim.). Cham: Springer, s. 165-179 13 Sivumäärä ( Lecture Notes in Artificial Intelligence; Vuosikerta 11946).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • Remembering Roy Dyckhoff: abstract of invited talk

    Negri, S. & Graham-Lengrand, S., 2019, Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Cerrito, S. & Popescu, A. (toim.). Springer, Vuosikerta 11714. s. xiv-xvii 4 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

  • Undefinability in Inquisitive Logic with Tensor

    Ciardelli, I. & Barbero, F., 2019, Logic, Rationality and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Blackburn, P., Lorini, E. & Guo, M. (toim.). Lecture Notes in Computer Science toim. Springer, Vuosikerta 11813. s. 29-42 14 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11813).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
  • Uniform labelled calculi for conditional and counterfactual logics

    Girlando, M., Negri, S. & Sbardolini, G., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (toim.). Springer, s. 248-263 16 Sivumäärä (Lecture Notes in Computer Science ; Vuosikerta 11541).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 2018

    Counterfactual logic: labelled and internal calculi, two sides of the same coin?

    Negri, S., Girlando, M. & Olivetti, N., 2018, Advances in Modal Logic. Bezhanishvili, G., D'Agostino, G., Metcalfe, G. & Studer, T. (toim.). College publications, 20 Sivumäärä (Advances in Modal Logic; Vuosikerta 12).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi

    Dalmonte, T., Olivetti, N. & Negri, S., 2018, Advances in Modal Logic. Bezhanishvili, G., D'Agostino, G., Metcalfe, G. & Studer, T. (toim.). College publications, 20 Sivumäärä (Advances in Modal Logic; Vuosikerta 12).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu