A note on normal forms for the closed fragment of system IL (Q2915733)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A note on normal forms for the closed fragment of system IL |
scientific article; zbMATH DE number 6083584
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on normal forms for the closed fragment of system IL |
scientific article; zbMATH DE number 6083584 |
Statements
18 September 2012
0 references
modal logic
0 references
interpretability logic
0 references
normal form
0 references
0.8454134
0 references
0.83150065
0 references
0.8063279
0 references
0.80480486
0 references
0.79615706
0 references
0 references
A note on normal forms for the closed fragment of system IL (English)
0 references
The paper is devoted to the interpretability logic IL, in particular to the open problem of the normal form for the closed fragment of IL. Some cases where the modal operator \(\vartriangleright\) can be eliminated are given, and a formula from which it is impossible to eliminate it is indicated.
0 references
