Author:
Roy Olivier,Hjortland Ole Thomassen
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference10 articles.
1. Aucher G. Del-sequents for progression. Journal of Applied Non-Classical Logics, 21, 2011.
2. A Qualitative Theory of Dynamic Interactive Belief Revision;Baltag,2008
3. Display logic;Belnap;Journal of philosophical logic,1982
4. Greco G. Kurz A. Palmigiano A. Dynamic epistemic logic displayed. In workshop on Logic, Rationality and Interaction, Proceedings of the 4th International Workshop, D. Grossi, O. Roy and H. Huang, eds, LNCS, pp. 135–148. Folli Series, 2013.
5. Mares E. D. Relevant Logic: A Philosophical Interpretation. Cambridge University Press, 2004.