Simpler Completeness Proofs for Modal Logics with Intersection (bibtex)

by Yì N. Wáng

Reference:

Simpler Completeness Proofs for Modal Logics with Intersection (Yì N. Wáng), In Proceedings of The 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020), 2020.

Bibtex Entry:

@inproceedings{WA2020,
	author = {Y\`{i} N. W\'{a}ng and Thomas {\AA}gotnes},
	booktitle = {Proceedings of The 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020)},
	date-added = {2020-11-02 22:35:59 +0800},
	date-modified = {2021-01-23 22:33:10 +0800},
	doi = {10.1007/978-3-030-65840-3_16},
	month = {December},
	title = {Simpler Completeness Proofs for Modal Logics with Intersection},
	year = {2020},
	bdsk-url-1 = {https://doi.org/10.1007/978-3-030-65840-3_16}}