DOI

Original languageEnglish
Pages (from-to)809-829
Number of pages21
JournalJournal of Logic and Computation
Volume24
Issue number4
DOIs
Publication statusPublished - Aug 2014

    Research areas

  • constant domains, First-order logic, intuitionistic logic, modal characterization theorem, model theory

    ASJC Scopus subject areas

  • Logic
  • Hardware and Architecture
  • Arts and Humanities (miscellaneous)
  • Theoretical Computer Science

ID: 422536