海量图书期刊资源,随时随地畅享阅读乐趣
Strong Completeness and Limited Canonicity for PDLGerard Renardel de Lavalette; Barteld Kooi; Rineke Verbrugge · 2008
Erratum: Strong Completeness and Limited Canonicity for PDLGerard Renardel de Lavalette, Barteld Kooi and Rineke Verbrugge · Journal of Logic, Language, and Information · 2009
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