research
∙
04/05/2020
Simpler completeness proofs for modal logics with intersection
There has been a significant interest in extending various modal logics ...
research
∙
06/27/2016
True Lies
A true lie is a lie that becomes true when announced. In a logic of anno...
research
∙
06/24/2016