Modal companions of intermediate propositional logics
Chagrov, A.V. and Zakharyaschev, Michael (1992) Modal companions of intermediate propositional logics. Studia Logica 51 (1), pp. 49-82. ISSN 0039-3215.
Full text not available from this repository.
Official URL: https://doi.org/10.1007/BF00370331
Abstract
This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions into various classical modal systems.
Metadata
Item Type: | Article |
---|---|
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Sarah Hall |
Date Deposited: | 15 Nov 2021 13:19 |
Last Modified: | 09 Aug 2023 12:52 |
URI: | https://eprints.bbk.ac.uk/id/eprint/46721 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.