Volume 69; Issue 1

Studia Logica

Volume 69; Issue 1
1

Editorial

Roy Dyckhoff, Heinrich Wansing
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 62 KB
english, 2001
2

Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5

Linh Anh Nguyen
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 227 KB
english, 2001
3

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics

Marta Cialdea Mayer, Serenella Cerrito
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 369 KB
english, 2001
4

Term-Modal Logics

Melvin Fitting, Lars Thalmann, Andrei Voronkov
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 358 KB
english, 2001
5

An Overview of Tableau Algorithms for Description Logics

Franz Baader, Ulrike Sattler
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 383 KB
english, 2001
6

Free-Variable Tableaux for Propositional Modal Logics

Bernhard Beckert, Rajeev GorÉ
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 421 KB
english, 2001
7

A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most

Riccardo Rosati
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 244 KB
english, 2001
8

Information for Authors

Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 29 KB
english, 2001
10

Analytic Tableaux and Related Methods. Part 1: Modal Logics || Front Matter

Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 457 KB
english, 2001
14

Analytic Tableaux and Related Methods. Part 1: Modal Logics || Editorial

Roy Dyckhoff and Heinrich Wansing
Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 341 KB
english, 2001
16

Analytic Tableaux and Related Methods. Part 1: Modal Logics || Back Matter

Journal:
Studia Logica
Year:
2001
Language:
english
File:
PDF, 263 KB
english, 2001