Titlebook: Logic, Rationality, and Interaction; 4th International Wo Davide Grossi,Olivier Roy,Huaxin Huang Conference proceedings 2013 Springer-Verla

喊叫

和平

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

事物的方面

灰姑娘

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

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 [4], Cîrstea and Sadrzadeh [8].