nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
|
Caballero, Pablo |
|
|
53 |
1 |
p. 223-245 |
artikel |
2 |
A Step Towards Absolute Versions of Metamathematical Results
|
Grabmayr, Balthasar |
|
|
53 |
1 |
p. 247-291 |
artikel |
3 |
Axiomatizing Rumsfeld Ignorance
|
Fan, Jie |
|
|
53 |
1 |
p. 79-97 |
artikel |
4 |
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems
|
Wu, Xinhe |
|
|
53 |
1 |
p. 293-330 |
artikel |
5 |
Mathematical Modality: An Investigation in Higher-order Logic
|
Bacon, Andrew |
|
|
53 |
1 |
p. 131-179 |
artikel |
6 |
Reasoning about Dependence, Preference and Coalitional Power
|
Chen, Qian |
|
|
53 |
1 |
p. 99-130 |
artikel |
7 |
Tarski’s Theory of the Formal Correctness of Definitions
|
Hitchcock, David |
|
|
53 |
1 |
p. 181-221 |
artikel |
8 |
The Implicative Conditional
|
Raidl, Eric |
|
|
53 |
1 |
p. 1-47 |
artikel |
9 |
The Liar Paradox and “Meaningless” Revenge
|
Warren, Jared |
|
|
53 |
1 |
p. 49-78 |
artikel |