vix.ing · top · new · best · stats · spec

1. A vector logic for extensional formal semantics
   2024/12/20 by Quigley, Daniel · 1 citation
   #03B38 #03B65 #03C55 #68T50 #91F20 #F.3.2 #F.4.1 #FOS: Mathematics #Logic (math.LO)
2. Conditional and Modal Reasoning in Large Language Models
   2024/01/30 by Wesley H. Holliday, Matthew Mandelkern, Holliday, Wesley H. +2 · 4 citations
   Computer Science · #03B65 #68T50 #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #I.2.7 #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Topic Modeling
3. The Orthologic of Epistemic Modals
   2022/03/06 by Wesley H. Holliday, Holliday, Wesley H., Matthew Mandelkern +1 · 1 citation
   Computer Science · #03B45 #03B60 #03B65 #03G10 #F.4.m #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies