Strong Completeness and Limited Canonicity for PDL
- 期刊名称Journal of Logic, Language, and Information
- 作者Gerard Renardel de Lavalette, Barteld Kooi and Rineke Verbrugge
- 卷第17卷
- 期第1期
- 印刷ISSN0925-8531
- 电子ISSN1572-9583
- 文件大小1419.13KB
- 发表时间2008
- DOI10.2307/41217797
- 页码69-87
Support and Sets of SituationsWiśniewski, Andrzej · Journal of Logic, Language and Information · 2014
Inferential Conditionals and EvidentialityKrzyżanowska, K.; Wenmackers, S.; Douven, I. · Journal of Logic, Language and Information · 2013
The Grammar of Code SwitchingKracht, Marcus; Klein, Udo · Journal of Logic, Language and Information · 2014
Formal Models of AwarenessÅgotnes, Thomas; Alechina, Natasha · Journal of Logic, Language and Information · 2014
Resolving the Infinitude ControversyKornai, András · Journal of Logic, Language and Information · 2014
Natural Language Inference in CoqChatzikyriakidis, Stergios; Luo, Zhaohui · Journal of Logic, Language and Information · 2014
Action Models for ConditionalsLent, Jeremy; Thomason, Richmond H. · Journal of Logic, Language and Information · 2015
NotOnlyBarbaraDekker, Paul J. E. · Journal of Logic, Language and Information · 2015