Ågotnes, Thomas

1. On the Logic of Normative Systems
   2007/01/01 by Thomas Ågotnes, Ågotnes, Thomas, Wiebe van der Hoek +7 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Normative systems #Semantic Web and Ontologies #deontic logic #normative temporal logic
2. Simpler completeness proofs for modal logics with intersection
   2020/04/05 by Wáng, Yì N., Ågotnes, Thomas · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)