A Simple Propositional S5 trableau Ssytem. Fitting, M. Working paper, 2008.
bibtex   
@article{Fitting2008,
author = {Fitting, Melvin},
journal = {Working paper},
title = {{A Simple Propositional S5 trableau Ssytem}},
year = {2008}
}

Downloads: 0