Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames

• 期刊名称Studia Logica
• 作者A. V. Chagrov; L. A. Chagrova
• 卷第55卷
• 期第3期
• 印刷ISSN0039-3215
• 电子ISSN1572-8730
• 文件大小1367.33KB
• 发表时间1995
• DOI10.1007/bf01057806
• 页码421-448