E-LIB Suche - Ergebnisse für: Orlandelli, Eugenio

1

Quantified Modal Logics: One Approach to Rule (Almost) them..:

Orlandelli, Eugenio
Journal of Philosophical Logic. 53 (2024) 4 - p. 959-996 , 2024

Link: https://doi.org/10.1007/..

2

A Syntactic Proof of the Decidability of First-Order Monadi..:

Orlandelli, Eugenio ; Tesi, Matteo
Bulletin of the Section of Logic. 53 (2024) 2 - p. 223-244 , 2024

Link: https://doi.org/10.18778..

3

Nested Sequents for Quantified Modal Logics:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Lyon, Tim S. ; Orlandelli, Eugenio - p. 449-467 , 2023

Link: https://doi.org/10.1007/..

4

Proof Systems for Super- Strict Implication:

Gherardi, Guido ; Orlandelli, Eugenio ; Raidl, Eric
Studia Logica. 112 (2023) 1-2 - p. 249-294 , 2023

Link: https://doi.org/10.1007/..

5

Glivenko sequent classes and constructive cut elimination i..:

Fellin, Giulio ; Negri, Sara ; Orlandelli, Eugenio
Archive for Mathematical Logic. 62 (2022) 5-6 - p. 657-688 , 2022

Link: https://doi.org/10.1007/..

6

Labelled calculi for quantified modal logics with definite ..:

Orlandelli, Eugenio
Journal of Logic and Computation. 31 (2021) 3 - p. 923-946 , 2021

Link: https://doi.org/10.1093/..

7

Super-Strict Implications:

Gherardi, Guido ; Orlandelli, Eugenio
Bulletin of the Section of Logic. 50 (2021) 1 - p. 1-34 , 2021

Link: https://doi.org/10.18778..

8

Interpolation in Extensions of First-Order Logic:

Gherardi, Guido ; Maffezioli, Paolo ; Orlandelli, Eugenio
Studia Logica: An International Journal for Symbolic Logic. 108 (2020) 3 - p. 619-648 , 2020

Link: https://www.jstor.org/st..

9

Interpolation in Extensions of First-Order Logic:

Gherardi, Guido ; Maffezioli, Paolo ; Orlandelli, Eugenio
Studia Logica. 108 (2019) 3 - p. 619-648 , 2019

Link: https://doi.org/10.1007/..

10

Proof-theoretic pluralism:

Ferrari, Filippo ; Orlandelli, Eugenio
Synthese. 198 (2019) S20 - p. 4879-4903 , 2019

Link: https://doi.org/10.1007/..

11

Logicality, Double-Line Rules, and Modalities:

Gratzl, Norbert ; Orlandelli, Eugenio
Studia Logica: An International Journal for Symbolic Logic. 107 (2019) 1 - p. 85-107 , 2019

Link: https://www.jstor.org/st..

12

Full Cut Elimination and Interpolation for Intuitionistic L..:

Orlandelli, Eugenio ; Maffezioli, Paolo
Bulletin of the Section of Logic. 48 (2019) 2 - p. 137-158 , 2019

Link: https://doi.org/10.18778..

13

Proof theory for quantified monotone modal logics:

Negri, Sara ; Orlandelli, Eugenio
Logic Journal of the IGPL. 27 (2019) 4 - p. 478-506 , 2019

Link: https://doi.org/10.1093/..

14

Decidable Term-Modal Logics:

, In: Multi-Agent Systems and Agreement Technologies; Lecture Notes in Computer Science,

Orlandelli, Eugenio ; Corsi, Giovanna - p. 147-162 , 2018

Link: https://doi.org/10.1007/..

15

Logicality, Double-Line Rules, and Modalities:

Gratzl, Norbert ; Orlandelli, Eugenio
Studia Logica. 107 (2018) 1 - p. 85-107 , 2018

Link: https://doi.org/10.1007/..