Volume 6; Issue 3

Journal of Applied Logic

Volume 6; Issue 3
1

Hybrids of the ×-translation for

Dominic Schulte
Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 198 KB
english, 2008
2

Circle graphs and monadic second-order logic

Bruno Courcelle
Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 357 KB
english, 2008
3

Undoing the effects of action sequences

Thomas Eiter, Esra Erdem, Wolfgang Faber
Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 461 KB
english, 2008
4

Inconsistency-tolerant description logic. Part II: A tableau algorithm for

S.P. Odintsov, H. Wansing
Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 249 KB
english, 2008
5

The three bases for the enthymeme: A dialogical theory

D. Walton
Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 869 KB
english, 2008
6

Combined reasoning by automated cooperation

Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 287 KB
english, 2008
7

Hilbert's epsilon as an operator of indefinite committed choice

Claus-Peter Wirth
Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 414 KB
english, 2008
8

The seven virtues of simple type theory

William M. Farmer
Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 243 KB
english, 2008
9

Editorial Board

Journal:
Journal of Applied Logic
Year:
2008
Language:
english
File:
PDF, 41 KB
english, 2008