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:
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

Actions (login required)

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