System Consequence

My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of institutions. At the same time, it uses ideas from information flow to extend the theory of institutions. ICCS 2009, 26–31 July 2009 

• Type: Conference
• Year: 2009
• Where: ICCS
• Authors: Robert E. Kent
• Keywords: Applied Computing, Central Idea, ICCS 2009, My Paper, Theory