Search DSpace
Advanced Search
Home
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Sign on to:
Receive email
updates
My DSpace
authorized users
Edit Profile
Help
About DSpace
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:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 7 of 7
Issue Date
Title
Author(s)
Publisher
2004
Methods for Solving Necessary Equivalences
Brown, Frank
Institute of Information Theories and Applications FOI ITHEA
2003
On the Relationship between Quantified Reflective Logic and Quantified Default Logic
Brown, Frank
Institute of Information Theories and Applications FOI ITHEA
2004
On the Relationships Among Quantified Autoepistemic Logic, its Kernel, and Quantified Reflective Logic
Brown, Frank
Institute of Information Theories and Applications FOI ITHEA
2003
Representing Autoepistemic Logic in Modal Logic
Brown, Frank
Institute of Information Theories and Applications FOI ITHEA
2003
Representing Default Logic in Modal Logic
Brown, Frank
Institute of Information Theories and Applications FOI ITHEA
2004
Representing "Recursive" Default Logic in Modal Logic
Brown, Frank
Institute of Information Theories and Applications FOI ITHEA
2003
Representing Reflective Logic in Modal Logic
Brown, Frank
Institute of Information Theories and Applications FOI ITHEA
Showing results 1 to 7 of 7