Volume 152; Issue 1-3

Annals of Pure and Applied Logic

Volume 152; Issue 1-3
1

A quantified logic of evidence

Year:
2008
Language:
english
File:
PDF, 400 KB
english, 2008
3

System BV is NP-complete

Year:
2008
Language:
english
File:
PDF, 384 KB
english, 2008
4

Probabilistic verification and approximation

Year:
2008
Language:
english
File:
PDF, 251 KB
english, 2008
5

Full classical S5 in natural deduction with weak normalization

Year:
2008
Language:
english
File:
PDF, 313 KB
english, 2008
6

Game-based notions of locality over finite models

Year:
2008
Language:
english
File:
PDF, 628 KB
english, 2008
7

Cut elimination for a simple formulation of epsilon calculus

Year:
2008
Language:
english
File:
PDF, 300 KB
english, 2008
8

The complexity of random ordered structures

Year:
2008
Language:
english
File:
PDF, 210 KB
english, 2008
10

Editorial Board

Year:
2008
Language:
english
File:
PDF, 68 KB
english, 2008
11

Contents

Year:
2008
Language:
english
File:
PDF, 88 KB
english, 2008
12

Lowness properties and approximations of the jump

Year:
2008
Language:
english
File:
PDF, 334 KB
english, 2008
13

Approximations of modal logics: and beyond

Year:
2008
Language:
english
File:
PDF, 309 KB
english, 2008
14

Logic, Language, Information and Computation

Year:
2008
Language:
english
File:
PDF, 112 KB
english, 2008