No label defined (Q4942002)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1418447
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1418447 |
Statements
26 February 2001
0 references
intuitionistic logic
0 references
modal system
0 references
Kripke frame
0 references
modal logic
0 references
intermediate logic
0 references
0.8360674977302551
0 references
0.8268232941627502
0 references
0.8235586285591125
0 references
The authors give an overview of the model theory for classes of extensions of some basic modal systems to the intuitionistic base, combining methods of classical modal systems and intermediate logics. The paper provides a wealth of information for anyone interested in intuitionistic modal logics. For the entire collection see [Zbl 0927.00020].
0 references
