Towards a Proof Theory of Gödel Modal Logics - Archive ouverte HAL Access content directly
Journal Articles Logical Methods in Computer Science Year : 2011

Towards a Proof Theory of Gödel Modal Logics

Abstract

no abstract
Not file

Dates and versions

hal-01479552 , version 1 (28-02-2017)

Identifiers

  • HAL Id : hal-01479552 , version 1

Cite

George Metcalfe, Nicola Olivetti. Towards a Proof Theory of Gödel Modal Logics. Logical Methods in Computer Science, 2011, 7 (2), pp.1-17. ⟨hal-01479552⟩
47 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More