JOURNAL ARTICLE
On a family of decidable modal logics
Year: 2002 Journal: Russian Mathematical Surveys Vol: 57 (4)Pages: 809-810 Publisher: IOP Publishing
Keywords:
Decidability Mathematics Modal Modal logic Normal modal logic Pure mathematics Discrete mathematics
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.12
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Semantic Web and Ontologies
Physical Sciences → Computer Science → Artificial Intelligence
Multi-Agent Systems and Negotiation
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
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
BOOK-CHAPTER
Decidable Term-Modal Logics
Eugenio OrlandelliGiovanna Corsi
Lecture notes in computer science Year: 2018 Pages: 147-162
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