613 followers
M\=im\=a\d{m}s\=a deontic logic: proof theory and applications. https://t.co/HUrVlChX7S
M\=im\=a\d{m}s\=a deontic logic: proof theory and applications. https://t.co/HUrVlChX7S
#arXiv #cs_LO "M\=im\=a\d{m}s\=a deontic logic: proof theory and applications. (arXiv:1705.03211v1 [cs.LO])" https://t.co/VyNID3K0au
Open Access UCL Research: Disproving Inductive Entailments in Separation Logic via Base Pair Approximation https://t.co/WYqNerkwDz