%0 Journal Article %1 journals/rsl/Sasaki10 %A Sasaki, Katsumi %D 2010 %J Rev. Symb. Log. %K dblp %N 4 %P 600-627 %T Formulas in Modal Logic S4. %U http://dblp.uni-trier.de/db/journals/rsl/rsl3.html#Sasaki10 %V 3

@article{journals/rsl/Sasaki10, added-at = {2019-08-20T00:00:00.000+0200}, author = {Sasaki, Katsumi}, biburl = {https://www.bibsonomy.org/bibtex/280aeb8357a80ddc9990ffaa76b93be2a/dblp}, ee = {https://doi.org/10.1017/S1755020310000043}, interhash = {3f1e6ff69c1c04a412bb503be9703259}, intrahash = {80aeb8357a80ddc9990ffaa76b93be2a}, journal = {Rev. Symb. Log.}, keywords = {dblp}, number = 4, pages = {600-627}, timestamp = {2019-08-21T11:41:20.000+0200}, title = {Formulas in Modal Logic S4.}, url = {http://dblp.uni-trier.de/db/journals/rsl/rsl3.html#Sasaki10}, volume = 3, year = 2010 }