Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Home
Researchers
Organisations
Research output
Prizes
Student theses
Activities
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
Interpolation and Definability: Modal and Intuitionistic Logics
Dov M. Gabbay, Larisa Maksimova
King's College London
RAS - Sobolev Institute of Mathematics, Siberian Branch
Research output
:
Book/Report
›
Book
›
peer-review
97
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Interpolation and Definability: Modal and Intuitionistic Logics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Modal Logic
100%
Intuitionistic Logic
100%
Definability
100%
Artificial Intelligence
33%
Computer Science
33%
Natural Language
33%
Universal Algebra
33%
Philosophy of Science
33%
Algebra of Logic
33%
Systematic Account
33%
Logic Programming
33%
Language of Science
33%
Classical Predicate Logic
33%
Pure Logic
33%
Computer Science
Artificial Intelligence
100%
Logic Programming
100%
Predicate Logic
100%
Computer Science
100%
Intuitionistic Logic
100%
Mathematics
Intuitionistic Logic
100%
Definability
100%
Universal Algebra
33%
Theoretic Method
33%
Logic Programming
33%