@article{kripke_completeness_1959,
	title = {A {Completeness} {Theorem} in {Modal} {Logic}},
	volume = {24},
	issn = {0022-4812},
	url = {https://www.jstor.org/stable/2964568},
	doi = {10.2307/2964568},
	number = {1},
	urldate = {2023-12-16},
	journal = {The Journal of Symbolic Logic},
	author = {Kripke, Saul A.},
	year = {1959},
	note = {Publisher: Association for Symbolic Logic},
	pages = {1--14},
}

{"_id":"CaCWrYicZkpxfAWie","bibbaseid":"kripke-acompletenesstheoreminmodallogic-1959","author_short":["Kripke, S. A."],"bibdata":{"bibtype":"article","type":"article","title":"A Completeness Theorem in Modal Logic","volume":"24","issn":"0022-4812","url":"https://www.jstor.org/stable/2964568","doi":"10.2307/2964568","number":"1","urldate":"2023-12-16","journal":"The Journal of Symbolic Logic","author":[{"propositions":[],"lastnames":["Kripke"],"firstnames":["Saul","A."],"suffixes":[]}],"year":"1959","note":"Publisher: Association for Symbolic Logic","pages":"1–14","bibtex":"@article{kripke_completeness_1959,\n\ttitle = {A {Completeness} {Theorem} in {Modal} {Logic}},\n\tvolume = {24},\n\tissn = {0022-4812},\n\turl = {https://www.jstor.org/stable/2964568},\n\tdoi = {10.2307/2964568},\n\tnumber = {1},\n\turldate = {2023-12-16},\n\tjournal = {The Journal of Symbolic Logic},\n\tauthor = {Kripke, Saul A.},\n\tyear = {1959},\n\tnote = {Publisher: Association for Symbolic Logic},\n\tpages = {1--14},\n}\n\n\n\n\n\n\n\n","author_short":["Kripke, S. A."],"key":"kripke_completeness_1959","id":"kripke_completeness_1959","bibbaseid":"kripke-acompletenesstheoreminmodallogic-1959","role":"author","urls":{"Paper":"https://www.jstor.org/stable/2964568"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/zotero/spistoiareda","dataSources":["nTukRxsNNmbKgjGgn","bommY2NHyR8XfBCJf","N5KtS7cqCLGAjBLSh"],"keywords":[],"search_terms":["completeness","theorem","modal","logic","kripke"],"title":"A Completeness Theorem in Modal Logic","year":1959}