Funder
Istituto Nazionale di Alta Matematica "Francesco Severi"
Cordis
Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni
European Commission
Norges Forskningsråd
Reference32 articles.
1. Modal Logic;Chagrov,1997
2. Modal Logic - an Introduction;Chellas,1998
3. Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi;Dalmonte,2018
4. Proof analysis in intermediate logic;Dyckhoff;Arch. Math. Log.,2012
5. A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding;Dyckhoff;J. Log. Comput.,2016
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献