A First-Order Logic of Limited Belief Based on Possible Worlds
Bibtex record
@inproceedings{KR2020-62, title = {{A First-Order Logic of Limited Belief Based on Possible Worlds}}, author = {Lakemeyer, Gerhard and Levesque, Hector J.}, booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}}, pages = {624--635}, year = {2020}, month = {9}, doi = {10.24963/kr.2020/62}, url = {https://doi.org/10.24963/kr.2020/62}, }