Volume 12; Issue 4

Journal of Applied Logic

Volume 12; Issue 4
2

Propositional dynamic logic for searching games with errors

Teheux, Bruno
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 813 KB
english, 2014
3

The categorical imperative: Category theory as a foundation for deontic logic

Peterson, Clayton
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 2.12 MB
english, 2014
4

Runtime verification using the temporal description logic ALC

Baader, Franz, Lippmann, Marcel
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 1.54 MB
english, 2014
6

A postulate-based analysis of comparative preference statements

Kaci, Souhila, Patel, Namrata
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 415 KB
english, 2014
7

A logical calculus for controlled monotonicity

D'Agostino, Marcello, Piazza, Mario, Pulcini, Gabriele
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 343 KB
english, 2014
8

Second order inductive logic and Wilmers' principle

Kließ, M.S., Paris, J.B.
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 348 KB
english, 2014
10

Products of modal logics and tensor products of modal algebras

Gabbay, Dov, Shapirovsky, Ilya, Shehtman, Valentin
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 374 KB
english, 2014
11

Editorial Board

Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 60 KB
english, 2014