喊叫
发表于 2025-4-1 05:23:33
http://reply.papertrans.cn/59/5881/588076/588076_61.png
和平
发表于 2025-4-1 07:46:45
0302-9743 nd Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science a
事物的方面
发表于 2025-4-1 10:45:37
http://reply.papertrans.cn/59/5881/588076/588076_63.png
灰姑娘
发表于 2025-4-1 15:53:59
Sequent Calculi for Multi-modal Logic with Interactionther sides of the sequents. This way one can devise rules in a much more modular fashion. This feature of Hilbert-style systems is notoriously lost when one moves to sequent calculi. By partly restoring modularity the method proposed here can potentially provide a unified approach to the proof theory of multi-modal systems.
seduce
发表于 2025-4-1 18:44:32
Dynamic Epistemic Logic Displayedhave a natural interpretation in the final coalgebra. This proof-theoretic motivation revives the interest in the global semantics for dynamic epistemic logics pursued among others by Baltag , Cîrstea and Sadrzadeh .