%0 Journal Article %1 journals/corr/Rusu13a %A Rusu, Andrei %D 2013 %J CoRR %K dblp %T On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$. %U http://dblp.uni-trier.de/db/journals/corr/corr1312.html#Rusu13a %V abs/1312.0714

@article{journals/corr/Rusu13a, added-at = {2018-08-13T00:00:00.000+0200}, author = {Rusu, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2300cf61d5936caedf8cb83e1ea1d83a8/dblp}, ee = {http://arxiv.org/abs/1312.0714}, interhash = {a899ce9afc7c5cef3a5bca28028b2c5a}, intrahash = {300cf61d5936caedf8cb83e1ea1d83a8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T14:26:39.000+0200}, title = {On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1312.html#Rusu13a}, volume = {abs/1312.0714}, year = 2013 }