nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A logical framework for privacy-preserving social network publication
|
Hsu, Tsan-sheng |
|
2014 |
12 |
2 |
p. 151-174 24 p. |
artikel |
2 |
A neural cognitive model of argumentation with application to legal inference and decision making
|
d'Avila Garcez, Artur S. |
|
2014 |
12 |
2 |
p. 109-127 19 p. |
artikel |
3 |
A propositional linear time logic with time flow isomorphic to ω 2
|
Marinković, Bojan |
|
2014 |
12 |
2 |
p. 208-229 22 p. |
artikel |
4 |
Capturing equilibrium models in modal logic
|
Fariñas del Cerro, Luis |
|
2014 |
12 |
2 |
p. 192-207 16 p. |
artikel |
5 |
Editorial Board
|
|
|
2014 |
12 |
2 |
p. iii-vi nvt p. |
artikel |
6 |
Erratum to “Confirmation as partial entailment” [Journal of Applied Logic 11 (2013) 364–372]
|
Crupi, Vincenzo |
|
2014 |
12 |
2 |
p. 230-231 2 p. |
artikel |
7 |
[No title]
|
Fontaine, Matthieu |
|
2014 |
12 |
2 |
p. 175-178 4 p. |
artikel |
8 |
SLAP: Specification logic of actions with probability
|
Rens, Gavin |
|
2014 |
12 |
2 |
p. 128-150 23 p. |
artikel |
9 |
The paradoxes of permission an action based solution
|
Gabbay, Dov |
|
2014 |
12 |
2 |
p. 179-191 13 p. |
artikel |