Volume 5; Issue 4

Journal of Applied Logic

Volume 5; Issue 4
1

Cut-free common knowledge

Gerhard Jäger, Mathis Kretz, Thomas Studer
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 156 KB
english, 2007
2

Introduction

Luís Moniz Pereira, Gregory Wheeler
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 64 KB
english, 2007
3

An axiomatization of family resemblance

R.E. Jennings, D.X. Nicholson
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 145 KB
english, 2007
4

Preferential theory revision

Pierangelo Dell'Acqua, Luís Moniz Pereira
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 200 KB
english, 2007
5

An adaptive logic for relevant classical deduction

Hans Lycke
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 170 KB
english, 2007
6

Some comments on history based structures

Eric Pacuit
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 183 KB
english, 2007
7

Nonmonotonic conditionals that behave like conditional probabilities above a threshold

James Hawthorne
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 179 KB
english, 2007
8

Conditionals and consequences

Henry E. Kyburg Jr., Choh Man Teng, Gregory Wheeler
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 177 KB
english, 2007
9

A polynomial time algorithm for Zero-Clairvoyant scheduling

K. Subramani
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 206 KB
english, 2007
10

Error analysis of digital filters using HOL theorem proving

Behzad Akbarpour, Sofiène Tahar
Journal:
Journal of Applied Logic
Year:
2007
Language:
english
File:
PDF, 240 KB
english, 2007
11

Editorial Board

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