|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Angellic Content |
Fine, Kit |
2015 |
45 | 2 |
p. 199-226 |
artikel |
|
| 2 | Axiomatization of a Branching Time Logic with Indistinguishability Relations |
Gatto, Alberto |
2015 |
45 | 2 |
p. 155-182 |
artikel |
|
| 3 | Cut Elimination for GLS Using the Terminability of its Regress Process |
Brighton, Jude |
2015 |
45 | 2 |
p. 147-153 |
artikel |
|
| 4 | Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) |
Zach, Richard |
|
45 | 2 |
p. 183-197 |
artikel |
|
| 5 | Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) |
Zach, Richard |
2015 |
45 | 2 |
p. 183-197 |
artikel |
|
| 6 | The Application of Constraint Semantics to the Language of Subjective Uncertainty |
Swanson, Eric |
2015 |
45 | 2 |
p. 121-146 |
artikel |
|
| 7 | The Mereological Foundation of Megethology |
Carrara, Massimiliano |
2015 |
45 | 2 |
p. 227-235 |
artikel |
7 gevonden resultaten