Intuitionistic Modal Logic: A 15-year retrospective

DOI10.1093/logcom/exv042zbMath1454.03011OpenAlexW2590433111MaRDI QIDQ4612427

Charles V. Stewart, Natasha Alechina, V. C. V. de Paiva

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4fab3b8702b453c452615dbe1ab9bb1d5f253300

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Collections of articles of miscellaneous specific interest (00B15) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Intuitionistic non-normal modal logics: a general framework ⋮ Terminating calculi and countermodels for constructive modal logics ⋮ Compositional meaning in logic

This page was built for publication: Intuitionistic Modal Logic: A 15-year retrospective