%0 Journal Article %1 journals/corr/Lewitzka16 %A Lewitzka, Steffen %D 2016 %J CoRR %K dblp %T Epistemic extensions of combined classical and intuitionistic propositional logic. %U http://dblp.uni-trier.de/db/journals/corr/corr1611.html#Lewitzka16 %V abs/1611.01429

@article{journals/corr/Lewitzka16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Lewitzka, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/2de4e58bf0c1840715c5e3b0fae4f3fec/dblp}, ee = {http://arxiv.org/abs/1611.01429}, interhash = {65de2922f630d42f0261f444b5deabd6}, intrahash = {de4e58bf0c1840715c5e3b0fae4f3fec}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:14:49.000+0200}, title = {Epistemic extensions of combined classical and intuitionistic propositional logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1611.html#Lewitzka16}, volume = {abs/1611.01429}, year = 2016 }