Skip to main content

Research Repository

Advanced Search

Dialogue Games for Classical Logic (short paper)

Alama, Jesse; Knoks, Aleks; Uckelman, Sara L.

Authors

Jesse Alama

Aleks Knoks



Contributors

M. Giese
Editor

R. Kuznets
Editor

Citation

Alama, J., Knoks, A., & Uckelman, S. L. (2011, December). Dialogue Games for Classical Logic (short paper). Presented at TABLEAUX 2011: Workshops, Tutorials, and Short Papers

Presentation Conference Type Conference Paper (published)
Conference Name TABLEAUX 2011: Workshops, Tutorials, and Short Papers
Publication Date 2011
Deposit Date Oct 7, 2014
Pages 82-86
Series Title Technical Report IAM-11-002
Public URL https://durham-repository.worktribe.com/output/1154917