Linda Postniece

I am a PhD student in the Computer Sciences Laboratory at the Australian National University.

I am interested in automated reasoning, proof theory and type theory of non-classical, modal and description logics. Please see my resume for more details.

Publications

2009

• Linda Postniece, Deep Inference in Bi-intuitionistic Logic, Proceedings of WoLLIC 2009, LNAI 5514:320-334, Springer, 2009.
• Rajeev Goré, Linda Postniece and Alwen Tiu, Taming Displayed Tense Logics Using Nested Sequents With Deep Inference, to appear in Proceedings of Tableaux 2009.

2008

• Rajeev Goré and Linda Postniece, Combining Derivations and Refutations for Cut-free Completeness in Bi-Intuitionistic Logic, to appear in Journal of Logic and Computation.
• Rajeev Goré, Linda Postniece and Alwen Tiu, Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents, Proceedings of AiML 2008, 43-66, College Publications, 2008.
• Rajeev Goré and Linda Postniece, An Experimental Evaluation of Global Caching for ALC (System Description), Proceedings of IJCAR 2008, LNAI 5195:299-305, Springer-Verlag, 2008.

2007

• Linda Buisman* and Rajeev Goré, A Cut-free Sequent Calculus for Bi-Intuitionistic Logic, Proceedings of Tableaux 2007, LNAI 4548:90-106, Springer-Verlag, 2007. An extended version is available.

Software

• A theorem prover for bi-intuitionistic logic BiInt.
• A theorem prover for classical tense logic Kt.
• CWB - Caching Workbench.

Presentations

• Proof Theory and Type Theory: 7 August 2007, reading course on non-classical logic.
• An Experimental Evaluation of Global Caching for ALC (System Description): 13 August 2008, IJCAR 2008.
• PhD Midterm: 26 August 2008, RSISE.
• Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents:
  • 9 September 2008, AiML 2008, Nancy
  • (Extended version) 15 September 2008, LIX, Ecole Polytechnique, Paris
  • (Extended version) 2 October 2008, Institute of Cybernetics, Tallinn University of Technology, Tallinn
  • (Modified version) 4 October 2008, Estonian CS Theory Days, Jõulumäe
• Deep Inference in Bi-Intuitionistic Logic: 21 June 2009, WoLLIC 2009.