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: 17 Mar 2015 19:27
Publisher DOI: 10.2168/LMCS-7(2:10)2011
Web of Science ID: 000301227100016
URI: http://boris.unibe.ch/id/eprint/6868 (FactScience: 211912)

Actions (login required)

Edit item Edit item
Provide Feedback