Automating natural deduction for temporal logic

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2008) Automating natural deduction for temporal logic. In: 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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 22 Jan 2009 16:46
Last Modified: 14 Oct 2009 09:14
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/5679

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)