受强制性开放获取政策约束的文章 - Giuseppe Greco了解详情
无法在其他位置公开访问的文章：2 篇
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
强制性开放获取政策： Netherlands Organisation for Scientific Research
Lattice logic properly displayed
G Greco, A Palmigiano
Logic, Language, Information, and Computation: 24th International Workshop …, 2017
强制性开放获取政策： Netherlands Organisation for Scientific Research
可在其他位置公开访问的文章：12 篇
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
强制性开放获取政策： Netherlands Organisation for Scientific Research
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
强制性开放获取政策： Netherlands Organisation for Scientific Research
Multi-type display calculus for propositional dynamic logic
S Frittella, G Greco, A Kurz, A Palmigiano
arXiv preprint arXiv:1805.09144, 2018
强制性开放获取政策： Netherlands Organisation for Scientific Research
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
强制性开放获取政策： Netherlands Organisation for Scientific Research
The logic of resources and capabilities
M Bílková, G Greco, A Palmigiano, A Tzimoulis, N Wijnberg
The Review of Symbolic Logic 11 (2), 371-410, 2018
强制性开放获取政策： German Research Foundation, Netherlands Organisation for Scientific Research
Multi-type display calculus for semi De Morgan logic
G Greco, F Liang, MA Moshier, A Palmigiano
Logic, Language, Information, and Computation: 24th International Workshop …, 2017
强制性开放获取政策： Netherlands Organisation for Scientific Research
Bilattice Logic Properly Displayed
G Greco, F Liang, A Palmigiano, U Rivieccio
Fuzzy Sets and Systems 363, 138-155, 2019
强制性开放获取政策： Netherlands Organisation for Scientific Research
Logics for rough concept analysis
G Greco, P Jipsen, K Manoorkar, A Palmigiano, A Tzimoulis
Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India …, 2019
强制性开放获取政策： Netherlands Organisation for Scientific Research
Algebraic proof theory for LE-logics
G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis
ACM Transactions on Computational Logic 25 (1), 1-37, 2024
强制性开放获取政策： Netherlands Organisation for Scientific Research, European Commission
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
强制性开放获取政策： Netherlands Organisation for Scientific Research
Non normal logics: semantic analysis and proof theory
J Chen, G Greco, A Palmigiano, A Tzimoulis
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
强制性开放获取政策： Netherlands Organisation for Scientific Research
Semi De Morgan logic properly displayed
G Greco, F Liang, MA Moshier, A Palmigiano
Studia logica 109, 1-45, 2021
强制性开放获取政策： Netherlands Organisation for Scientific Research
出版信息和资助信息由计算机程序自动确定