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