nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Contents
|
|
|
2014 |
165 |
1 |
p. v-vi nvt p. |
artikel |
2 |
Editorial
|
Nerode, Anil |
|
2014 |
165 |
1 |
p. 1-2 2 p. |
artikel |
3 |
Editorial Board
|
|
|
2014 |
165 |
1 |
p. ii- 1 p. |
artikel |
4 |
Evidence and plausibility in neighborhood structures
|
van Benthem, Johan |
|
2014 |
165 |
1 |
p. 106-133 28 p. |
artikel |
5 |
Fluctuations, effective learnability and metastability in analysis
|
Kohlenbach, Ulrich |
|
2014 |
165 |
1 |
p. 266-304 39 p. |
artikel |
6 |
Hybrid Answer Set Programming
|
Brik, Alex |
|
2014 |
165 |
1 |
p. 134-163 30 p. |
artikel |
7 |
Introduction to clarithmetic III
|
Japaridze, Giorgi |
|
2014 |
165 |
1 |
p. 241-252 12 p. |
artikel |
8 |
Intuitionistic completeness of first-order logic
|
Constable, Robert |
|
2014 |
165 |
1 |
p. 164-198 35 p. |
artikel |
9 |
Logical omniscience as infeasibility
|
Artemov, Sergei |
|
2014 |
165 |
1 |
p. 6-25 20 p. |
artikel |
10 |
Modeling linear logic with implicit functions
|
Slavnov, Sergey |
|
2014 |
165 |
1 |
p. 357-370 14 p. |
artikel |
11 |
Positive provability logic for uniform reflection principles
|
Beklemishev, Lev |
|
2014 |
165 |
1 |
p. 82-105 24 p. |
artikel |
12 |
Possible world semantics for first-order logic of proofs
|
Fitting, Melvin |
|
2014 |
165 |
1 |
p. 225-240 16 p. |
artikel |
13 |
Proof internalization in generalized Frege systems for classical logic
|
Savateev, Yury |
|
2014 |
165 |
1 |
p. 340-356 17 p. |
artikel |
14 |
Relativized ordinal analysis: The case of Power Kripke–Platek set theory
|
Rathjen, Michael |
|
2014 |
165 |
1 |
p. 316-339 24 p. |
artikel |
15 |
Self-referentiality of Brouwer–Heyting–Kolmogorov semantics
|
Yu, Junhua |
|
2014 |
165 |
1 |
p. 371-388 18 p. |
artikel |
16 |
Symmetry in information flow
|
Kane, Jeffrey |
|
2014 |
165 |
1 |
p. 253-265 13 p. |
artikel |
17 |
The life and work of Sergei Artemov
|
Nerode, Anil |
|
2014 |
165 |
1 |
p. 3-5 3 p. |
artikel |
18 |
The logic of justified belief, explicit knowledge, and conclusive evidence
|
Baltag, Alexandru |
|
2014 |
165 |
1 |
p. 49-81 33 p. |
artikel |
19 |
The Logic of Uncertain Justifications
|
Milnikel, Robert S. |
|
2014 |
165 |
1 |
p. 305-315 11 p. |
artikel |
20 |
The Paradox of the Knower revisited
|
Dean, Walter |
|
2014 |
165 |
1 |
p. 199-224 26 p. |
artikel |
21 |
What is relevance logic?
|
Avron, Arnon |
|
2014 |
165 |
1 |
p. 26-48 23 p. |
artikel |