%0 Conference Paper %1 conf/lics/HalpernK92 %A Halpern, Joseph Y. %A Kapron, Bruce M. %B LICS %D 1992 %I IEEE Computer Society %K dblp %P 369-380 %T Zero-One Laws for Modal Logic %U http://dblp.uni-trier.de/db/conf/lics/lics92.html#HalpernK92 %@ 0-8186-2735-2

@inproceedings{conf/lics/HalpernK92, added-at = {2023-03-24T00:00:00.000+0100}, author = {Halpern, Joseph Y. and Kapron, Bruce M.}, biburl = {https://www.bibsonomy.org/bibtex/24e83a5fe9285b22845d764d3ca6ce872/dblp}, booktitle = {LICS}, crossref = {conf/lics/1992}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1992.185549}, interhash = {2ab60458069621a1d563ecd1c6e7547f}, intrahash = {4e83a5fe9285b22845d764d3ca6ce872}, isbn = {0-8186-2735-2}, keywords = {dblp}, pages = {369-380}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:20.000+0200}, title = {Zero-One Laws for Modal Logic}, url = {http://dblp.uni-trier.de/db/conf/lics/lics92.html#HalpernK92}, year = 1992 }