Connecting you to content on EBSCOhost

Works matching IS 00393215 AND DT 2000 AND VI 65 AND IP 2

Results: 7

1

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster.

Published in:

Studia Logica, 2000, v. 65, n. 2, p. 237, doi. 10.1023/A:1005219831286

By:

Shimura, Tatsuya

Publication type:

Article

2

Book Reviews.

Published in:: 2000
Publication type:: Book Review

3

First Order Common Knowledge Logics.

Published in:

Studia Logica, 2000, v. 65, n. 2, p. 249, doi. 10.1023/A:1005271815356

By:

Wolter, Frank

Publication type:

Article

4

Non-Commutative Topology and Quantales.

Published in:

Studia Logica, 2000, v. 65, n. 2, p. 223, doi. 10.1023/A:1005267714448

By:

Coniglio, Marcelo;
Miraglia, Francisco

Publication type:

Article

5

Arrow Logic and Infinite Counting.

Published in:

Studia Logica, 2000, v. 65, n. 2, p. 199, doi. 10.1023/A:1005215730377

By:

Kurucz, Ágnes

Publication type:

Article

6

Varieties of Three-Valued Heyting Algebras with a Quantifier.

Published in:

Studia Logica, 2000, v. 65, n. 2, p. 181, doi. 10.1023/A:1005211613539

By:

Abad, M.;
Díaz Varela, J.P.;
Rueda, L.A.;
Suardíaz, A.M.

Publication type:

Article

7

A Negationless Interpretation of Intuitionistic Theories. II.

Published in:

Studia Logica, 2000, v. 65, n. 2, p. 155, doi. 10.1023/A:1005207512630

By:

Krivtsov, Victor

Publication type:

Article