Volume 8; Issue 1

Journal of Applied Logic

Volume 8; Issue 1
1

Formalization of the ad hominem argumentation scheme

Douglas Walton
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 1.03 MB
english, 2010
2

Group announcement logic

Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 352 KB
english, 2010
3

Algorithms and computations for -fold p-ideals in BCI-algebras

A. Kordi, A. Moussavi, A. Ahmadi
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 217 KB
english, 2010
4

Dynamics of mental activity

Willard L. Miranker, Gregg J. Zuckerman
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 774 KB
english, 2010
5

Combining linear-time temporal logic with constructiveness and paraconsistency

Norihiro Kamide, Heinrich Wansing
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 409 KB
english, 2010
6

The axiomatization of override and update

Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 228 KB
english, 2010
7

Equivalence for the -stable models semantics

José Luis Carballido, Mauricio Osorio, José Ramón Arrazola
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 276 KB
english, 2010
8

A theory of permission based on the notion of derogation

Audun Stolpe
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 308 KB
english, 2010
9

Editorial Board

Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 52 KB
english, 2010