Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Search by expertise, name or affiliation
Neighborhood-sheaf semantics for first-order modal logic
Kohei Kishida
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Neighborhood-sheaf semantics for first-order modal logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Sheaves
100%
First-order Modal Logic
100%
First-order
50%
Modal Logic
25%
Function Symbols
25%
Kripke
25%
First-order Logic with Equality
25%
Propositional Modal Logic
25%
Sheaf-like
25%
Neighbourhood Semantics
25%
Neighborhood Frames
25%
Computer Science
Function Symbol
100%