Completeness and expressive power in propositional dynamic logic

Author: 
Date created: 
1995
Description: 
The author has placed restrictions on the PDF copy of this thesis. The PDF is not printable nor copyable. If you would like the SFU Library to attempt to contact the author to get permission to print a copy, please email your request to summit-permissions@sfu.ca.
Language: 
English
Document type: 
Thesis
Rights: 
Copyright remains with the author
File(s): 
Subject headings: 
Logic programming.
Logic, Symbolic and mathematical.
Recursion theory.
Department: 
Theses (Dept. of Mathematics and Statistics) / Simon Fraser University
Thesis type: 
Thesis (M.Sc.)
Statistics: