The decision problem for combined modal logics (Q2736218)
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: The decision problem for combined modal logics |
scientific article; zbMATH DE number 1638487
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The decision problem for combined modal logics |
scientific article; zbMATH DE number 1638487 |
Statements
29 August 2001
0 references
fusions
0 references
products
0 references
fragments
0 references
temporal logics
0 references
decision problem
0 references
modal logics
0 references
provability logics
0 references
converse operator
0 references
description logics
0 references
The decision problem for combined modal logics (English)
0 references
The book deals with the decision problem for a variety of modal logics and logics obtained from modal logics by certain constructions.NEWLINENEWLINENEWLINEContents: 1. Introduction; 2. Fusions of modal logics revisited; 3. Bimodal provability logics; 4. Adding the converse operator; 5. Products of modal logics; 6. Modal description logics; 7. Fragments of modal predicate logics; 8. Fragments of temporal predicate logics; Appendix A. Basic modal logic; Appendix B. Important modal systems.
0 references
