Neighborhood-sheaf semantics for first-order modal logic

Research output: Contribution to journalArticlepeer-review


This paper extends neighborhood semantics for propositional modal logic to the first-order case, by unifying topological-sheaf semantics (in [2]) for first-order S4 and Kripke-sheaf semantics (see [11] and [8], just for instance) for quantified K. It will be shown how to take a sheaf-like structure over a neighborhood frame, and the resulting semantics properly generalizes the two preceding sheaf semantics; it has a weaker modal logic (in which the rule N fails) sound and complete, while accommodating classical, full first-order logic with equality and function symbols.

Original languageEnglish (US)
Pages (from-to)129-143
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Issue number1
StatePublished - Nov 3 2011
Externally publishedYes


  • First-order modal logic
  • neighborhood semantics
  • sheaf semantics

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Neighborhood-sheaf semantics for first-order modal logic'. Together they form a unique fingerprint.

Cite this