Basic Logic, K4, and Persistence

Sorry, there's nothing here.

Cite this paper

@article{Ruitenburg1999BasicLK, title={Basic Logic, K4, and Persistence}, author={Wim Ruitenburg}, journal={Studia Logica}, year={1999}, volume={63}, pages={343-352} }