IMI-BAS 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 1 to 7 of 7
Issue DateTitleAuthor(s)Publisher
2004 Methods for Solving Necessary EquivalencesBrown, FrankInstitute of Information Theories and Applications FOI ITHEA
2003 On the Relationship between Quantified Reflective Logic and Quantified Default LogicBrown, FrankInstitute of Information Theories and Applications FOI ITHEA
2004 On the Relationships Among Quantified Autoepistemic Logic, its Kernel, and Quantified Reflective LogicBrown, FrankInstitute of Information Theories and Applications FOI ITHEA
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 1 to 7 of 7

 

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