Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

Iemhoff, Rosalie; Metcalfe, George (2009). Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 230-245). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_16

[img] Text
978-3-540-92687-0_16.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (560kB) | Request a copy

Item Type:

Book Section (Book Chapter)

Division/Institute:

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

UniBE Contributor:

Metcalfe, George

Series:

Lecture Notes in Computer Science

Publisher:

Springer Verlag

Language:

English

Submitter:

Factscience Import

Date Deposited:

04 Oct 2013 15:22

Last Modified:

24 May 2023 11:12

Publisher DOI:

10.1007/978-3-540-92687-0_16

Web of Science ID:

000263689100016

BORIS DOI:

10.48350/36830

URI:

https://boris.unibe.ch/id/eprint/36830 (FactScience: 206255)

Actions (login required)

Edit item Edit item
Provide Feedback