Benzmueller, Christoph

1. Quantified Multimodal Logics in Simple Type Theory
   2009/05/14 by Christoph Benzmueller, Lawrence C. Paulson, Benzmueller, Christoph +1 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
2. Simple Type Theory as Framework for Combining Logics
   2010/04/30 by Christoph Benzmueller, Benzmueller, Christoph · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical logic and foundations #Semantic Web and Ontologies