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
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
JOURNAL ARTICLE
A Family of Decidable Bi-intuitionistic Modal Logics
David Fernández–DuqueBrett McLeanLukas Zenger
Year: 2023 Pages: 262-271
JOURNAL ARTICLE
A Family of Decidable Bi-intuitionistic Modal Logics
Fernández-Duque, DavidMcLean, BrettZenger, Lukas MatthiasMarquis, PierreSon, Tran CaoKern-Isberner, Gabriele
Journal: Open Access CRIS of the University of Bern Year: 2024