Publication View

Introduction A Framework for Intuitionistlc Modal Logics (Extended Abstract) (2008)

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.121.9584
Source	http://www.tark.org/proceedings/tark_mar19_86/p399-plotkin.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English