Unification in superintuitionistic predicate logics and its applications

&
Review of Symbolic Logic 12 (1):37-61 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1755020318000011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

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 - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. 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. 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. 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
2018-12-04

Downloads
15 (#889,556)

6 months
2 (#1,136,865)

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.
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
Introduction to mathematical logic, vol. I.A. Church - 1958 - Revue Philosophique de la France Et de l'Etranger 148:118-119.

View all 23 references / Add more references