/
MtSC.bib
73 lines (66 loc) · 2.33 KB
/
MtSC.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
@incollection{ConradieGhilardiPalmigiano2014,
Author = {Conradie, Willem and Ghilardi, Silvio and Palmigiano, Alessandra},
Booktitle = {Johan van Benthem on Logic and Information Dynamics},
Editor = {Baltag, Alexandru and Smets, Sonja},
Pages = {933-975},
Publisher = {Springer International Publishing},
Series = {Outstanding Contributions to Logic},
Title = {{Unified Correspondence}},
Volume = {5},
Year = {2014},
}
@article{GrecoMaPalmigianoTzimoulisZhao2016,
Author = {Giuseppe Greco and Minghui Ma and Alessandra Palmigiano and Apostolos Tzimoulis and Zhiguang Zhao},
Journal = {Journal of Logic and Computation},
Title = {Unified Correspondence as a Proof-Theoretic Tool},
Year = {2016}
}
@article{CiabattoniRamanayake2016,
Author = {Ciabattoni, Agata and Ramanayake, Revantha},
Journal = {ACM Transactions on Computational Logic (TOCL)},
Number = {3},
Pages = {17},
Publisher = {ACM},
Title = {Power and limits of structural display rules},
Volume = {17},
Year = {2016}
}
@article{SambinBattilottiFaggian2014,
doi = "10.2307/2586685",
Author = {Giovanni Sambin and Giulia Battilotti and Claudia Faggian},
Journal = {Journal of Symbolic Logic},
Number = {3},
Pages = {979--1013},
Title = {Basic logic: reflection, symmetry, visibility},
Volume = {65},
Year = {2014}
}
@book{Wansing1998,
Author = {Heinrich Wansing},
Publisher = {Kluwer},
Title = {Displaying modal Logic},
Year = {1998}
}
@unpublished{GrecoPalmigiano,
Author = {Giuseppe Greco and Alessandra Palmigiano},
Month = {November},
Note = {ArXiv preprint 1611.04181.},
Title = {Linear Logic properly displayed},
Year = {2016}
}
@article{FrittellaGrecoKurzPalmigianoSikimic2014,
Author = {Sabine Frittella and Giuseppe Greco and Alexander Kurz and Alessandra Palmigiano and Vlasta Sikimi\'{c}},
Journal = {Proceedings Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek, M. Zawidski eds},
Pages = {81-93},
Title = {Multi-type sequent calculi},
Volume = {13},
Year = {2014}
}
@article{Belnap1982,
Author = {Nuel Belnap},
Journal = {Journal of Philosophical Logic},
Pages = {375-417},
Title = {Display Logic},
Volume = {11},
Year = {1982}
}