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
Courses
Activities
Projects
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
Reactive intuitionistic tableaux
D. M. Gabbay
Department of Computer Science
King's College London
University of Luxembourg
Research output
:
Contribution to journal
›
Article
›
peer-review
5
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Reactive intuitionistic tableaux'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Tableaux
100%
Intuitionistic
100%
Kripke Models
50%
Intuitionistic Logic
50%
Arts and Humanities
Tableaux
100%
Kripke models
50%
Intuitionistic Logic
50%
Computer Science
Intuitionistic Logic
100%