Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Link opens in a new tab
Search content at Bar-Ilan University
Home
Researchers
Organisations
Research output
Prizes
Student theses
Courses
Activities
Projects
Press/Media
Datasets
Equipment
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
108
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%
Systematic Account
33%
Logic Programming
33%
Language of Science
33%
Classical Predicate Logic
33%
Pure Logic
33%
Algebra of Logic
33%
Mathematics
Intuitionistic Logic
100%
Interpolation
100%
Definability
100%
Universal Algebra
33%
Theoretic Method
33%
Logic Programming
33%
Computer Science
Interpolation
100%
Intuitionistic Logic
100%
Logic Programming
33%
Predicate Logic
33%
Computer Science
33%
Artificial Intelligence
33%
Proof
33%
Arts and Humanities
Logic Programming
33%
Predicate Logic
33%
Earth and Planetary Sciences
Logic Programming
33%