Constructive Modalities with Provability Smack

First Author: Litak T
Attributed to:  Coalgebraic Logic: Expanding the Scope funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-94-017-8860-1_8

Publication URI: http://dx.doi.org/10.1007/978-94-017-8860-1_8

Type: Book Chapter

Book Title: Leo Esakia on Duality in Modal and Intuitionistic Logics (2014)

Page Reference: 187-216

ISSN: 22112766 22112758