Almost structurally complete infinitary consequence operations extending S4.3

Logic Journal of the IGPL 23 (4):640-661 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2016-06-30

Downloads
20 (#888,883)

6 months
12 (#443,723)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
The Logics Containing S 4.3.Kit Fine - 1971 - Mathematical Logic Quarterly 17 (1):371-376.

View all 14 references / Add more references