Volume 17; Issue 3

1

Complexity of finite-variable fragments M of EXPTIME-complete logics

Year:
2007
Language:
english
File:
PDF, 271 KB
english, 2007
2

Operations on proofs and labels

Year:
2007
Language:
english
File:
PDF, 328 KB
english, 2007
3

Definable fixed points in modal and temporal logics : A survey

Year:
2007
Language:
english
File:
PDF, 224 KB
english, 2007
4

Modal logics of closed domains on Minkowski plane

Year:
2007
Language:
english
File:
PDF, 342 KB
english, 2007
5

Logics with the universal modality and admissible consecutions

Year:
2007
Language:
english
File:
PDF, 239 KB
english, 2007
6

Foreword

Year:
2007
Language:
english
File:
PDF, 53 KB
english, 2007