Towards a Proof Theory of Gödel Modal Logics

Metcalfe, George; Olivetti, Nicola (2011). Towards a Proof Theory of Gödel Modal Logics. Logical methods in computer science, 7(2), p. 27. Braunschweig: Department of Theoretical Computer Science, Technical University of Braunschweig 10.2168/LMCS-7(2:10)2011

Full text not available from this repository. (Request a copy)

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics

UniBE Contributor:

Metcalfe, George

ISSN:

1860-5974

Publisher:

Department of Theoretical Computer Science, Technical University of Braunschweig

Language:

English

Submitter:

Factscience Import

Date Deposited:

04 Oct 2013 14:20

Last Modified:

05 Dec 2022 14:05

Publisher DOI:

10.2168/LMCS-7(2:10)2011

Web of Science ID:

000301227100016

URI:

https://boris.unibe.ch/id/eprint/6868 (FactScience: 211912)

Actions (login required)

Edit item Edit item
Provide Feedback