51

Two classes of intermediate propositional logics without disjunction property

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

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

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

On the lattice of extensions of the modal logics KAltn

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

A Test to Determine Distinct Modalities in the Extensions of S4

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

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

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

A General Treatment of Equivalent Modalities

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

Finite and Finitely Separable Intermediate Propositional Logics

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