"What are you reading about?"
"What's nominal unification?"
"Okay, so, in regular first-order logic, you have logic variables, right? In nominal logic, you have those, but you also have these things called noms."
"...I know what you're think--"
"BEST LOGIC SYSTEM EVER."
Last night I went to see my friend Peter Alvaro give a talk based on Joseph Halpern's paper "Using Reasoning about Knowledge to Analyze…
So I need to write an abstract for my dissertation. Anyone wanna glance over this and tell me what you think? If you suggest any edits, keep in…
There are many that I know and they know it, they are all of them repeating and I hear it, sometimes I tell it, mostly I tell it, there are many…