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)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzv024

Links

PhilArchive



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

External links

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

Projective unification in modal logic.Wojciech Dzik & Piotr Wojtylak - 2012 - Logic Journal of the IGPL 20 (1):121-153.
Modal Consequence Relations Extending $mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
Nonmonotonic inference operations.Michael Freund & Daniel Lehmann - 1993 - Logic Journal of the IGPL 1 (1):23-68.
On structural completeness of implicational logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
Hereditarily Structurally Complete Superintuitionistic Deductive Systems.Alex Citkin - 2018 - Studia Logica 106 (4):827-856.
Nonmonotonic reasoning: from finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161-201.
Nonmonotonic reasoning: From finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
Model-consequence operations and quasi-complete theories.Stephen Bloom - 1972 - Bulletin of the Section of Logic 1 (4):12-13.
Structural completeness of modal logics containing K4.Wieslaw Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.

Analytics

Added to PP
2016-06-30

Downloads
16 (#934,884)

6 months
8 (#415,167)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

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 15 references / Add more references