Review of Symbolic Logic 12 (1):37-61 (2019)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1017/s1755020318000011 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
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.
Concerning Formulas of the Types a →B ∨C, a →(Ex)B(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
Best Solving Modal Equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
First-Order Gödel Logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
View all 23 references / Add more references
Citations of this work BETA
Unification in First-Order Transitive Modal Logic.Wojciech Dzik & Piotr Wojtylak - forthcoming - Logic Journal of the IGPL.
Similar books and articles
Kripke Sheaf Completeness of Some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.Dmitrij Skvortsov - 2012 - Studia Logica 100 (1-2):361-383.
Unification in Modal and Description Logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
On Some Interpretations of Classical Logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
Superintuitionistic Companions of Classical Modal Logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Independent Bases for Rules Admissible in Pretabular Logics.V. Rybakov, V. Kiyatkin & M. Terziler - 1999 - Logic Journal of the IGPL 7 (2):253-266.
Two Sequences of Locally Tabular Superintuitionistic Logics.S. I. Mardaev - 1991 - Studia Logica 50 (2):333 - 342.
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.D. P. Skvortsov & V. B. Shehtman - 1993 - Annals of Pure and Applied Logic 63 (1):69-101.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
A Remark on Peculiarity in the Functor Semantic for Superintuitionistic Predicate Logics with Equality.Dmitrij Skvortsov - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 483-493.
Duality in Superintuitionistic and Modal Predicate Logics.Hiroyuki Shirasu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 223-236.
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 133-140.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Analytics
Added to PP index
2018-12-04
Total views
13 ( #772,227 of 2,518,445 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,445 )
2018-12-04
Total views
13 ( #772,227 of 2,518,445 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,445 )
How can I increase my downloads?
Downloads
