Author names for all the publications are given in alphabetical order.
2025
Paraconsistent Constructive Modal Logic
Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
31st Workshop on Logic, Language, Information and Computation (WoLLIC 2025) conference paper
Paraconsistent Constructive Modal Logic
Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
31st Workshop on Logic, Language, Information and Computation (WoLLIC 2025) conference paper
Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels
Han Gao, Nicola Olivetti
31st Workshop on Logic, Language, Information and Computation (WoLLIC 2025) conference paper
Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels
Han Gao, Nicola Olivetti
31st Workshop on Logic, Language, Information and Computation (WoLLIC 2025) conference paper
A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
Han Gao, Marianna Girlando, Nicola Olivetti
Under review.
Full paper of the NCL'24 abstract
A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
Han Gao, Marianna Girlando, Nicola Olivetti
Under review.
Full paper of the NCL'24 abstract
2024
A Proof Calculus for Ethical Reasoning
Han Gao, Emiliano Lorini, Nicola Olivetti, Matteo Tesi
The 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024) conference paper
A Proof Calculus for Ethical Reasoning
Han Gao, Emiliano Lorini, Nicola Olivetti, Matteo Tesi
The 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024) conference paper
Intuitionistic K: Proofs, Countermodels and Simulation
Han Gao, Marianna Girlando, Nicola Olivetti
Non-Classical Logics: Theory and Applications 2024 (NCL 2024) abstract
Intuitionistic K: Proofs, Countermodels and Simulation
Han Gao, Marianna Girlando, Nicola Olivetti
Non-Classical Logics: Theory and Applications 2024 (NCL 2024) abstract
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
International Joint Conference on Automated Reasoning (IJCAR 2024) conference paper
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
International Joint Conference on Automated Reasoning (IJCAR 2024) conference paper
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) conference paper
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) conference paper