ѧУ̩ɽѧר֮μӹѧ鲢

ߣԴѧͳѧԺʱ䣺2024-05-0810

գѧУѧͳѧԺ֮ڲμӶೡѧ鲢֪ѧ档۽֮ڽIJо򣬰ģ̬߼ѡۺͶӦ۵ȷ档



ģ̬߼棬֮޵ղѧμղ߼(ZLC 2024)ΪModal Logic with Counting: Definability, Semilinear Sets and Correspondence Theoryѧ棻ձϱѧμӵѧ߼(AWPL 2024)ΪGame Semantics for Modal Logic with Countingѧ棻廪ѧĽ߼幤(TLLM 2024)ΪNumerical Expressive Powers for Counting Languagesѧ棻ѧѧϵ߼֪оΪModal Logic with Countingѧ档ģ̬߼ǶԾģ̬߼䣬ھģ̬߼Ļ˹ڻȽϵĹʽ֮оڹˮƽԼķȹ֪߼ѧá

ѡ۷棬֮йѧѧԺ߼оΪA Brief Introduction to Social Choice Theoryѧ档ڶӦ۷棬֮廪ѧ߼оΪSahlqvist Correspondence Theoryѧ档

 

֮⣬̩ɽѧԺѧͳѧԺڣ̩ɽѧרң̩и߲˲ţɽʡ߼ѧ£׸ѧѧߡоȤҪΪ߼ģ̬߼߼е˷ģ̬߼SCIAHCIEICSSCI¼ĶʮƪɽʡȻѧĿ1ѧĿ3β뱱ѧɽѧ˶ʿʿԼJournal of Logic and Computation, Studia Logica, Logic Journal of the IGPL, Journal of Philosophical Logic, ߼ѧоڿ幤





ˣԪΰ

ͼƬԴ

༭ڱ