Linda Postniece

发表

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

Rajeev Goré, Alwen Tiu, Linda Postniece, 2011, Log. Methods Comput. Sci..

An Experimental Evaluation of Global Caching for (System Description)

Rajeev Goré, Linda Postniece, 2008, IJCAR.

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

Rajeev Goré, Alwen Tiu, Linda Postniece, 2008, Advances in Modal Logic.

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

Rajeev Goré, Alwen Tiu, Linda Postniece, 2010, Advances in Modal Logic.

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

Rajeev Goré, Linda Postniece, R. Goré, 2010, J. Log. Comput..

A Cut-Free Sequent Calculus for Bi-intuitionistic Logic

Rajeev Goré, Linda Postniece, R. Goré, 2007, TABLEAUX.

Taming Displayed Tense Logics Using Nested Sequents with Deep Inference

Rajeev Goré, Alwen Tiu, Linda Postniece, 2009, TABLEAUX.

Deep Inference in Bi-intuitionistic Logic

Linda Postniece, 2009, WoLLIC.