83 followers
Maybe this? https://t.co/P1PH7m4SAN
Maybe this? https://t.co/P1PH7m4SAN
@tangled_zans From the top of my mind: https://t.co/VE6Wo85Qf7 But let me check the specific papers. Kripke is AFAIK a relational mechanism, if that makes sense 😅 Read the neighbourhood semantics, too. Pacuit had a book on it... https://t.co/IhE2R78inu
Discovered the 2017 book "Neighborhood Semantics for Modal Logic", which I came across by reading about the continuation Monads in Bart Jacobs' "Coalgebras" of which the submonad 2^2^X is neighborhood semantics, which David Lewis uses in Counterfactuals