Robuta

https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/4289/Possible-Worlds-Semantics-for-Classical-Logic Possible Worlds Semantics for Classical Logic | Institute for Logic, Language and Computation possible worlds semantics classical logic institute language computation