Sfoglia per Autore
The intensional side of algebraic-topological representation theorems
2017-01-01 Negri, S.
COMMENTARY ON GRIGORI MINTS' "CLASSICAL AND INTUITIONISTIC GEOMETRIC LOGIC"
2017-01-01 Dyckhoff, R; Negri, Sara
Non-Normal Modal Logics: A Challenge to Proof Theory
2017-01-01 Negri, S
Counterfactual logic: labelled and internal calculi, two sides of the same coin?
2018-01-01 Girlando, M.; Negri, S.; Olivetti, N.
Conditional beliefs: From neighbourhood semantics to sequent calculus
2018-01-01 Girlando, M.; Negri, S.; Olivetti, N.; Risch, V.
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
2018-01-01 Dalmonte, Tiziano; Negri, Sara; Olivetti, Nicola
Proof theory for quantified monotone modal logics
2019-01-01 Negri, Sara; Orlandelli, Eugenio
Remembering Roy Dyckhoff
2019-01-01 Graham-Lengrand, Stephane; Negri, Sara
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics
2019-01-01 Dalmonte, T.; Negri, S.; Olivetti, N.; Pozzato, G. L.
Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age
2019-01-01 Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter
Geometric Rules in Infinitary Logic
2019-01-01 Negri, Sara
From mathematical axioms to mathematical rules of proof: Recent developments in proof analysis
2019-01-01 Negri, S.; Von Plato, J.
Uniform Labelled Calculi for Conditional and Counterfactual Logics
2019-01-01 Girlando, M.; Negri, S.; Sbardolini, G.
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM
2020-01-01 Dalmonte, T.; Negri, S.; Olivetti, N.; Pozzato, G. L.
Relevant logics: from semantics to proof systems
2020-01-01 Negri, Sara; Kurokawa, Hidenori
Advances in Modal Logic
2020-01-01 Negri, Sara; Olivetti, Nicola; Sandu, Gabriel; Verbrugge, Rineke
Modal logic for induction
2020-01-01 Fellin, Giulio; Negri, Sara; Schuster, Peter
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
2020-01-01 Negri, S.; Pavlovic, E.
Geometric rules in infinitary logic
2021-01-01 Negri, Sara
Alternative Axiomatization for Logics of Agency in a G3 Calculus
2021-01-01 Negri, Sara; Pavlović, Edi
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile