IMI-BAS
 

BulDML at Institute of Mathematics and Informatics >

Browsing by Author "Brown, Frank"

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 4 to 7 of 7
< previous 
Issue DateTitleAuthor(s)Publisher
2003 Representing Autoepistemic Logic in Modal LogicBrown, FrankInstitute of Information Theories and Applications FOI ITHEA
2003 Representing Default Logic in Modal LogicBrown, FrankInstitute of Information Theories and Applications FOI ITHEA
2004 Representing "Recursive" Default Logic in Modal LogicBrown, FrankInstitute of Information Theories and Applications FOI ITHEA
2003 Representing Reflective Logic in Modal LogicBrown, FrankInstitute of Information Theories and Applications FOI ITHEA
Showing results 4 to 7 of 7
< previous 

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2009  The DSpace Foundation - Feedback