2

ATOMS IN MODAL ALGEBRAS

Year:
1984
Language:
english
File:
PDF, 642 KB
english, 1984
3

Post complete and 0-axiomatizable modal logics

Year:
1990
Language:
english
File:
PDF, 1.61 MB
english, 1990
5

Selective Serotonin Reuptake Inhibitors in Pregnancy

Year:
2012
Language:
english
File:
PDF, 232 KB
english, 2012
8

Minimal p-Morphic Images, Axiomatizations and Coverings in the Modal Logic K4

Year:
1999
Language:
english
File:
PDF, 2.99 MB
english, 1999
10

A Test to Determine Distinct Modalities in the Extensions of S4

Year:
1985
Language:
english
File:
PDF, 265 KB
english, 1985
11

ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR

Year:
1992
Language:
english
File:
PDF, 311 KB
english, 1992
12

Minimal Axiomatization in Modal Logic

Year:
1997
Language:
english
File:
PDF, 700 KB
english, 1997
13

Atoms of tense algebras

Year:
1991
Language:
english
File:
PDF, 1.07 MB
english, 1991
14

An effective representation for finitely generated free interior algebras

Year:
1985
Language:
english
File:
PDF, 762 KB
english, 1985
15

On the axiomatization of finiteK-frames

Year:
1983
Language:
english
File:
PDF, 410 KB
english, 1983
16

On the lattice of extensions of the modal logics KAltn

Year:
1988
Language:
english
File:
PDF, 353 KB
english, 1988
17

Two classes of intermediate propositional logics without disjunction property

Year:
1989
Language:
english
File:
PDF, 485 KB
english, 1989
30

Finitely Generated Free Heyting Algebras

Year:
1986
Language:
english
File:
PDF, 320 KB
english, 1986
32

A general treatment of equivalent modalities

Year:
1989
Language:
english
File:
PDF, 725 KB
english, 1989
33

Finite and finitely separable intermediate propositional logics

Year:
1988
Language:
english
File:
PDF, 1009 KB
english, 1988
36

A General Treatment of Equivalent Modalities

Year:
1989
Language:
english
File:
PDF, 296 KB
english, 1989
37

Finite and Finitely Separable Intermediate Propositional Logics

Year:
1988
Language:
english
File:
PDF, 481 KB
english, 1988
42

On the Axiomatization of Finite K-Frames

Year:
1983
Language:
english
File:
PDF, 791 KB
english, 1983
43

Selected Papers in Honour of Ettore Casari || Finite Trees in Tense Logic

Year:
1999
Language:
english
File:
PDF, 2.33 MB
english, 1999