WestminsterResearch

Automating natural deduction for temporal logic

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2008) Automating natural deduction for temporal logic. In: Glymour, Clark and Wang, Wei and Westerstahl, Dag, (eds.) Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science. Kings College Publications.

Full text not available from this repository.

Official URL: http://www.doc.ic.ac.uk/crg/events/ARW07/submissio...


Item Type:Book Section
Uncontrolled Keywords:Automated deduction, temporal logic, natural deduction, proof search
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:5679
Deposited On:22 Jan 2009 16:46
Last Modified:14 Oct 2009 10:14

Repository Staff Only: item control page