Lucia Landi

According to our database, Lucia Landi authored at least 3 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Admissibility of Π₂-Inference Rules: interpolation, model completion, and contact algebras.

Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi

Ann. Pure Appl. Log., 2023

2020

Model Completeness and Π₂-rules: The Case of Contact Algebras.

Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2002

Banca virtuale.

Lucia Landi

PhD thesis, 2002