Intuitionistic Modal Logic: A 15-year retrospective. (12th June 2015)
- Record Type:
- Journal Article
- Title:
- Intuitionistic Modal Logic: A 15-year retrospective. (12th June 2015)
- Main Title:
- Intuitionistic Modal Logic: A 15-year retrospective
- Authors:
- Stewart, Charles
de Paiva, Valeria
Alechina, Natasha - Abstract:
- Is Part Of:
- Journal of logic and computation. Volume 28:Number 5(2018)
- Journal:
- Journal of logic and computation
- Issue:
- Volume 28:Number 5(2018)
- Issue Display:
- Volume 28, Issue 5 (2018)
- Year:
- 2018
- Volume:
- 28
- Issue:
- 5
- Issue Sort Value:
- 2018-0028-0005-0000
- Page Start:
- 873
- Page End:
- 882
- Publication Date:
- 2015-06-12
- Subjects:
- Logic programming -- Periodicals
Logic, Symbolic and mathematical -- Periodicals
Computational complexity -- Periodicals
005.115 - Journal URLs:
- http://logcom.oxfordjournals.org/ ↗
http://ukcatalogue.oup.com/ ↗ - DOI:
- 10.1093/logcom/exv042 ↗
- Languages:
- English
- ISSNs:
- 0955-792X
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 5010.552200
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 24928.xml