Works matching IS 00393215 AND DT 2001 AND VI 69 AND IP 1

Results: 8

Term-Modal Logics.

Published in:

Studia Logica, 2001, v. 69, n. 1, p. 133, doi. 10.1023/A:1013842612702

By:

Fitting, Melvin;
Thalmann, Lars;
Voronkov, Andrei

Publication type:

Article

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

Published in:

Studia Logica, 2001, v. 69, n. 1, p. 171, doi. 10.1023/A:1013894629540

By:

Rosati, Riccardo

Publication type:

Article

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

Published in:

Studia Logica, 2001, v. 69, n. 1, p. 97, doi. 10.1023/A:1013838528631

By:

Mayer, Marta;
Cerrito, Serenella

Publication type:

Article

Free-Variable Tableaux for Propositional Modal Logics.

Published in:

Studia Logica, 2001, v. 69, n. 1, p. 59, doi. 10.1023/A:1013886427723

By:

Beckert, Bernhard;
GorÉ, Rajeev

Publication type:

Article

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

Published in:

Studia Logica, 2001, v. 69, n. 1, p. 41, doi. 10.1023/A:1013834410884

By:

Nguyen, Linh

Publication type:

Article

An Overview of Tableau Algorithms for Description Logics.

Published in:

Studia Logica, 2001, v. 69, n. 1, p. 5, doi. 10.1023/A:1013882326814

By:

Baader, Franz;
Sattler, Ulrike

Publication type:

Article

Editorial.

Published in:

2001

By:

Dyckhoff, Roy;
Wansing, Heinrich

Publication type:

Editorial

Information for Authors.

Published in:: Studia Logica, 2001, v. 69, n. 1, p. 193, doi. 10.1023/A:1017376223377
Publication type:: Article