Concepedia

Modalities in linear logic weaker than the exponential ?of course?: Algebraic and relational semantics

Anna Bucalo

Journal of Logic Language and Information · 1994 · 13 citations · 4 references

DOI

Concepts

References

4

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

, , +7

Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 (©1983), also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp.

R. A. Bull · Journal of Symbolic Logic · 1987 · 329 citations

, , +8

Pretopologies and completeness proofs

Giovanni Sambin · Journal of Symbolic Logic · 1995 · 59 citations

, , +17