Explanipedia

MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS Open

Cosimo Perini Brogi, Sara Negri, Nicola Olivetti · 2025

An original family of labelled sequent calculi $\mathsf {G3IL}^{\star }$ for classical interpretability logics is presented, modularly designed on the basis of Verbrugge semantics (a.k.a. generalised Veltman semantics) for those logics. We…

A Unified Gentzen-style Framework for Until-free LTL Open

Norihiro Kamide, Sara Negri · 2024

A unified Gentzen-style framework for until-free propositional linear-time\ntemporal logic is introduced. The proposed framework, based on infinitary rules\nand rules for primitive negation, can handle uniformly both a single-succedent\nse…

A TERMINATING INTUITIONISTIC CALCULUS Open

Giulio Fellin, Sara Negri · 2023

A terminating sequent calculus for intuitionistic propositional logic is obtained by modifying the R $\supset $ rule of the labelled sequent calculus $\mathbf {G3I}$ . This is done by adding a variant of the principle of a fortiori in the …

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions Open

Matteo Tesi, Sara Negri · 2023

The Gödel-McKinsey-Tarski embedding allows to view intuitionistic logic through the lenses of modal logic. In this work, an extension of the modal embedding to infinitary intuitionistic logic is introduced. First, a neighborhood semantics …

Glivenko sequent classes and constructive cut elimination in geometric logics Open

Giulio Fellin, Sara Negri, Eugenio Orlandelli · 2022

Alternative Axiomatization for Logics of Agency in a G3 Calculus Open

Sara Negri, Edi Pavlović · 2021

In a recent paper, Negri and Pavlović (Studia Logica 1–35, 2020) have formulated a decidable sequent calculus for the logic of agency, specifically for a deliberative see-to-it-that modality, or dstit. In that paper the adequacy of the sys…

The Poverty in USA: An In-Depth Analysis of the Last Two Decades Open

Sara Negri · 2021

Poverty is a global problem that affects not only the undeveloped states but also the most developed ones. This research paper will analyze this problem in depth, trying to summarize several definitions, several causes that can lead to an …

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics Open

Marianna Girlando, Sara Negri, Nicola Olivetti · 2021

The preferential conditional logic $ \mathbb{PCL} $, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalizes Lewis’ sphere models for counterfactual logics, is prop…

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM Open

Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato · 2021

In this work we present PRONOM, a theorem prover and countermodel generator for non-normal modal logics. PRONOM implements some labelled sequent calculi recently introduced for the basic system E and its extensions with axioms M, N, and C …

Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT Open

Sara Negri, Edi Pavlović · 2020

A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent j…

Uniform labelled calculi for preferential conditional logics based on\n neighbourhood semantics Open

Marianna Girlando, Sara Negri, Nicola Olivetti · 2020

The preferential conditional logic PCL, introduced by Burgess, and its\nextensions are studied. First, a natural semantics based on neighbourhood\nmodels, which generalise Lewis' sphere models for counterfactual logics, is\nproposed. Sound…

Theorem proving for non-normal modal logics Open

Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato · 2020

In this work we briefly summarize our recent contributions in the field of proof methods, theorem proving and countermodel generation for non-normal modal logics. We first recall some labelled sequent calculi for the basic system E and its…

Modal logic for induction Open

Sara Negri, Giulio Fellin, Peter Schuster · 2020

PRONOM: proof-search and countermodel generation for non-normal modal logics Open

Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato · 2019

Uniform labelled calculi for conditional and counterfactual logics Open

Marianna Girlando, Sara Negri, Giorgio Sbardolini · 2019

Proof theory for quantified monotone modal logics Open

Sara Negri, Eugenio Orlandelli · 2019

This paper provides a proof-theoretic study of quantified non-normal modal logics (NNML). It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of mon…

From mathematical axioms to mathematical rules of proof: recent developments in proof analysis Open

Sara Negri, Jan von Plato · 2019

A short text in the hand of David Hilbert, discovered in Göttingen a century after it was written, shows that Hilbert had considered adding a 24th problem to his famous list of mathematical problems of the year 1900. The problem he had in …

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS Open

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch · 2018

The logic of Conditional Beliefs ( CDL ) has been introduced by Board, Baltag, and Smets to reason about knowledge and revisable beliefs in a multi-agent setting. In this article both the semantics and the proof theory for this logic are s…

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

Tiziano Dalmonte, Nicola Olivetti, Sara Negri · 2018

International audience

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

Marianna Girlando, Sara Negri, Nicola Olivetti · 2018

International audience

Conditional Beliefs: from Neighbourhood Semantics to Sequent Calculus Open

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch · 2018

The logic of conditional beliefs: neighbourhood semantics and sequent calculus Open

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch · 2016

International audience

PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS Open

Sara Negri, Giorgio Sbardolini · 2015

A deductive system for Lewis counterfactuals is presented, based directly on the influential generalisation of relational semantics through ternary similarity relations introduced by Lewis. This deductive system builds on a method of enric…

GEOMETRISATION OF FIRST-ORDER LOGIC Open

Roy Dyckhoff, Sara Negri · 2015

That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well…

Sara Negri YOU? Author Swipe