BOOK-CHAPTER

Decidable Term-Modal Logics

Eugenio OrlandelliGiovanna Corsi

Year: 2018 Lecture notes in computer science Pages: 147-162   Publisher: Springer Science+Business Media
Keywords:
Decidability Term (time) Modal Fragment (logic) Computer science Monotone polygon Normal modal logic Modal logic Modal operator Algorithm Calculus (dental) Discrete mathematics Theoretical computer science Mathematics Description logic Multimodal logic

Metrics

10
Cited By
2.61
FWCI (Field Weighted Citation Impact)
25
Refs
0.92
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Semantic Web and Ontologies
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Decidable Elementary Modal Logics

Jakub MichaliszynJan Otop

Year: 2012 Vol: 66 Pages: 491-500
JOURNAL ARTICLE

On a family of decidable modal logics

Алексей Геннадьевич Кравцов

Journal:   Russian Mathematical Surveys Year: 2002 Vol: 57 (4)Pages: 809-810
JOURNAL ARTICLE

Decidable fragments of first-order modal logics

Frank WolterMichael Zakharyaschev

Journal:   Journal of Symbolic Logic Year: 2001 Vol: 66 (3)Pages: 1415-1438
© 2026 ScienceGate Book Chapters — All rights reserved.