Giuseppe Greco
Título
Citado por
Citado por
Ano
Unified correspondence as a proof-theoretic tool
G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao
Journal of Logic and Computation 28 (7), 1367-1442, 2018
702018
Multi-type display calculus for dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
Journal of Logic and Computation 26 (6), 2017-2065, 2016
562016
Multi-type display calculus for propositional dynamic logic
S Frittella, G Greco, A Kurz, A Palmigiano
arXiv preprint arXiv:1805.09144, 2018
492018
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
482016
Dynamic epistemic logic displayed
G Greco, A Kurz, A Palmigiano
International Workshop on Logic, Rationality and Interaction, 135-148, 2013
432013
A proof-theoretic semantic analysis of dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimić
Journal of Logic and Computation 26 (6), 1961-2015, 2016
412016
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
International Workshop on Logic, Language, Information, and Computation, 215-233, 2016
342016
The logic of resources and capabilities
M Bílková, G Greco, A Palmigiano, A Tzimoulis, N Wijnberg
arXiv preprint arXiv:1608.02222, 2016
302016
Linear logic properly displayed
G Greco, A Palmigiano
arXiv preprint arXiv:1611.04181, 2016
252016
Lattice logic properly displayed
G Greco, A Palmigiano
International workshop on logic, language, information, and computation, 153-169, 2017
232017
Multi-type display calculus for semi De Morgan logic
G Greco, F Liang, MA Moshier, A Palmigiano
International workshop on logic, language, information, and computation, 199-215, 2017
202017
Logics for rough concept analysis
G Greco, P Jipsen, K Manoorkar, A Palmigiano, A Tzimoulis
Indian Conference on Logic and Its Applications, 144-159, 2019
152019
Bilattice Logic Properly Displayed
G Greco, F Liang, A Palmigiano, U Rivieccio
Fuzzy Sets and Systems 363, 138-155, 2019
142019
Structural multi-type sequent calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
arXiv preprint arXiv:1604.00936, 2016
102016
Algebraic proof theory for LE-logics
G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis
arXiv preprint arXiv:1808.04642, 2018
92018
Lattice logic properly displayed
G Greco, A Palmigiano
arXiv preprint arXiv:1612.05930, 2016
82016
Proper multi-type display calculi for rough algebras
G Greco, F Liang, K Manoorkar, A Palmigiano
Electronic Notes in Theoretical Computer Science 344, 101-118, 2019
72019
Display-type sequent calculus for monotone modal logic
S Frittella, G Greco
Advances in Modal Logic, 2014
62014
Non normal logics: semantic analysis and proof theory
J Chen, G Greco, A Palmigiano, A Tzimoulis
International Workshop on Logic, Language, Information, and Computation, 99-118, 2019
52019
Multi-type algebraic proof theory
G Greco, A Palmigiano
preparation, 0
5
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20