| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A logical calculus for controlled monotonicity
|
D'Agostino, Marcello
|
|
2014
|
12 |
4 |
p. 558-569
12 p.
|
artikel
|
| 2 |
A postulate-based analysis of comparative preference statements
|
Kaci, Souhila
|
|
2014
|
12 |
4 |
p. 501-521
21 p.
|
artikel
|
| 3 |
Constraint LTL satisfiability checking without automata
|
Bersani, Marcello M.
|
|
2014
|
12 |
4 |
p. 522-557
36 p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
2014
|
12 |
4 |
p. iii-vi
nvt p.
|
artikel
|
| 5 |
Products of modal logics and tensor products of modal algebras
|
Gabbay, Dov
|
|
2014
|
12 |
4 |
p. 570-583
14 p.
|
artikel
|
| 6 |
Propositional dynamic logic for searching games with errors
|
Teheux, Bruno
|
|
2014
|
12 |
4 |
p. 377-394
18 p.
|
artikel
|
| 7 |
Runtime verification using the temporal description logic ALC -LTL revisited
|
Baader, Franz
|
|
2014
|
12 |
4 |
p. 584-613
30 p.
|
artikel
|
| 8 |
Second order inductive logic and Wilmers' principle
|
Kließ, M.S.
|
|
2014
|
12 |
4 |
p. 462-476
15 p.
|
artikel
|
| 9 |
Temporal logics for concurrent recursive programs: Satisfiability and model checking
|
Bollig, Benedikt
|
|
2014
|
12 |
4 |
p. 395-416
22 p.
|
artikel
|
| 10 |
The categorical imperative: Category theory as a foundation for deontic logic
|
Peterson, Clayton
|
|
2014
|
12 |
4 |
p. 417-461
45 p.
|
artikel
|
| 11 |
The existence of superluminal particles is consistent with relativistic dynamics
|
Madarász, Judit X.
|
|
2014
|
12 |
4 |
p. 477-500
24 p.
|
artikel
|
Tijdschrift beschrijving