The lattice of ramified modal and tense logic

Bulletin of the Section of Logic 7 (1):31-33 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On standard consequence operations in the implicationless language.Ewa Capinska - 1979 - Bulletin of the Section of Logic 8 (4):202-204.
More about the lattice of tense logic.Wolfgang Rautenberg - 1979 - Bulletin of the Section of Logic 8 (1):21-25.
The lattice of modal logics (preliminary report).W. J. Blok - 1977 - Bulletin of the Section of Logic 6 (3):112-114.
Review: Wolfgang Rautenberg, Unentscheidbarkeit der Euklidischen Inzidenzgeometrie. [REVIEW]L. W. Szczerba - 1964 - Journal of Symbolic Logic 29 (1):58-58.
An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
A Completeness Proof For An Infinitary Tense Logic.Goran Sundholm - 1977 - Bulletin of the Section of Logic 6 (2):70-72.
Atoms in a lattice of theories.Josep Maria Font - 2013 - Bulletin of the Section of Logic 42 (1/2).
On the Lattice of Elementary Situations.Bogus law Wolniewicz - 1980 - Bulletin of the Section of Logic 9 (3):115-120.
A maximal lattice of implicational logics'.Alexander S. Karpenko - 1992 - Bulletin of the Section of Logic 27:29-32.
Remarks on Heyting algebras with tense operators.A. V. Figallo & G. Pelaitay - 2012 - Bulletin of the Section of Logic 41 (1/2):71-74.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references