Linda Postniece

According to our database, Linda Postniece authored at least 9 papers between 2007 and 2011.

Collaborative distances:

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

2011

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

Rajeev Goré, Linda Postniece, Alwen Tiu

Log. Methods Comput. Sci., 2011

2010

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.

Rajeev Goré, Linda Postniece

J. Log. Comput., 2010

Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic.

Rajeev Goré, Linda Postniece, Alwen Tiu

Proceedings of the Advances in Modal Logic 8, 2010

2009

Deep Inference in Bi-intuitionistic Logic.

Linda Postniece

Proceedings of the Logic, 2009

Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.

Rajeev Goré, Linda Postniece, Alwen Tiu

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2008

An Experimental Evaluation of Global Caching for (System Description).

Rajeev Goré, Linda Postniece

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.

Rajeev Goré, Linda Postniece, Alwen Tiu

Proceedings of the Advances in Modal Logic 7, 2008

2007

A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version

Linda Buisman, Rajeev Goré

CoRR, 2007

A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.

Linda Buisman, Rajeev Goré

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007