Filter
Conference contribution

Search results

  • 2020

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

    Barbero, F. & Yang, F., 20 Jul 2020, Advances in Modal Logic. Olivetti, N., Verbrugge, R., Negri, S. & Sandu, G. (eds.). College publications, Vol. 13. p. 73-93 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
  • Modal logic for induction

    Negri, S., Fellin, G. & Schuster, P., 2020, Advances in Modal Logic. College publications, Vol. 13. p. 209-227 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
  • Thinking About Causation: A Causal Language with Epistemic Operators

    Barbero, F., Schulz, K., Smets, S., Velazquez-Quesada, F. R. & Xie, K., 22 Dec 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. (eds.). Springer, Vol. LNCS, volume 12569. p. 17-32 16 p. (Lecture Notes in Computer Science; vol. 12569).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 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. (eds.). Tübingen: University of Tübingen, p. 22 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  • Interventionist counterfactuals on causal teams

    Barbero, F. & Sandu, G., 3 Jan 2019, Proceedings CREST 2018. p. 16-30 15 p. (Logic in Computer Science (cs.LO)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
  • 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. (eds.). Cham: Springer International Publishing AG, p. 709-725 17 p. (Lecture Notes in Artificial Intelligence; vol. 11468).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 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. (eds.). Cham: Springer, p. 165-179 13 p. ( Lecture Notes in Artificial Intelligence; vol. 11946).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 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. (eds.). Springer, Vol. 11714. p. xiv-xvii 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  • 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. (eds.). Lecture Notes in Computer Science ed. Springer, Vol. 11813. p. 29-42 14 p. (Lecture Notes in Computer Science; vol. 11813).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
  • 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. (eds.). Springer, p. 248-263 16 p. (Lecture Notes in Computer Science ; vol. 11541).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 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. (eds.). College publications, 20 p. (Advances in Modal Logic; vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 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. (eds.). College publications, 20 p. (Advances in Modal Logic; vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review