Interpolation and Definability
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Oxford University Press

9780198511748

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FURTHER RESULTS AND DISCUSSION

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0017 ◽

2005 ◽

pp. 471-482

Author(s):

D.M. Gabbay ◽

L. Maksimova

Download Full-text

INTERPOLATION, DEFINABILITY, AMALGAMATION

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0007 ◽

2005 ◽

pp. 205-224

Author(s):

D.M. Gabbay ◽

L. Maksimova

Download Full-text

THE INTERPOLATION THEOREM IN INTUITIONISTIC PREDICATE CALCULUS

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0004 ◽

2005 ◽

pp. 103-128

Author(s):

D.M. Gabbay ◽

L. Maksimova

Keyword(s):

Interpolation Theorem ◽

Predicate Calculus

Download Full-text

INTERPOLATION IN (INTUITIONISTIC) LOGIC PROGRAMMING

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0015 ◽

2005 ◽

pp. 403-424 ◽

Cited By ~ 1

Author(s):

D.M. Gabbay ◽

L. Maksimova

Keyword(s):

Logic Programming ◽

Intuitionistic Logic

Download Full-text

AN ANALOGUE OF BETH'S THEOREM IN NORMAL EXTENSIONS OF THE MODAL LOGIC K4

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0011 ◽

2005 ◽

pp. 311-332

Author(s):

D.M. Gabbay ◽

L. Maksimova

Keyword(s):

Modal Logic

Download Full-text

CRAIG'S THEOREM IN SUPERINTUITIONISTIC LOGICS AND AMALGAMABLE VARIETIES OF PSEUDOBOOLEAN ALGEBRAS

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0006 ◽

2005 ◽

pp. 171-204

Author(s):

D.M. Gabbay ◽

L. Maksimova

Keyword(s):

Superintuitionistic Logics

Download Full-text

SYNTACTIC PROOF OF INTERPOLATION FOR THE INTUITIONISTIC PREDICATE LOGIC

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0013 ◽

2005 ◽

pp. 371-380

Author(s):

D.M. Gabbay ◽

L. Maksimova

Keyword(s):

Predicate Logic

Download Full-text

COMPLEXITY OF SOME PROBLEMS IN MODAL AND INTUITIONISTIC CALCULI

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0009 ◽

2005 ◽

pp. 265-284

Author(s):

D.M. Gabbay ◽

L. Maksimova

Download Full-text

INTERPOLATION IN NORMAL EXTENSIONS OF THE MODAL LOGIC S4

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0008 ◽

2005 ◽

pp. 225-264

Author(s):

D.M. Gabbay ◽

L. Maksimova

Keyword(s):

Modal Logic ◽

Modal Logic S4

Download Full-text

MODAL AND SUPERINTUITIONISTIC LOGICS: BASIC CONCEPTS

Interpolation and Definability ◽

10.1093/acprof:oso/9780198511748.003.0002 ◽

2005 ◽

pp. 35-60 ◽

Cited By ~ 1

Author(s):

D.M. Gabbay ◽

L. Maksimova

Keyword(s):

Superintuitionistic Logics ◽

Basic Concepts

Download Full-text