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

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzv024
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,355
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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.
The Logics Containing S 4.3.Kit Fine - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):371-376.
Best Solving Modal Equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.

View all 15 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Projective Unification in Modal Logic.Wojciech Dzik & Piotr Wojtylak - 2012 - Logic Journal of the IGPL 20 (1):121-153.
Nonmonotonic Inference Operations.Michael Freund & Daniel Lehmann - 1993 - Logic Journal of the IGPL 1 (1):23-68.
Supervenience and Infinitary Property-Forming Operations.Ralf M. Bader - 2012 - Philosophical Studies 160 (3):415-423.
Adequate Semantics For Non-Pseudoaxiomatic Consequence Operations.Iwona Marek - 1986 - Bulletin of the Section of Logic 15 (2):66-69.
Hereditarily Structurally Complete Modal Logics.V. V. Rybakov - 1995 - Journal of Symbolic Logic 60 (1):266-288.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Infinitary Belief Revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
A Theory of Operations on the Universe II. Infinitary Operations.Narciso Garcia - 1991 - Mathematical Logic Quarterly 37 (31‐32):481-488.
Remarks on Characteristic Consequence Operation.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (1):11-20.
A Theory of Operations on the Universe II. Infinitary Operations.Narciso Garcia - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (31-32):481-488.

Analytics

Added to PP index
2016-06-30

Total views
7 ( #1,071,729 of 2,519,513 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,513 )

How can I increase my downloads?

Downloads

My notes