ML Anthology

Resolution in a New Modal Logic

Masamichi Shimura
IJCAI 1979 pp. 809-814
/ijcai/1979/shimura1979ijcai-resolution/
Semantic Scholar

Cite

Text

Shimura. "Resolution in a New Modal Logic." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Shimura. "Resolution in a New Modal Logic." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/shimura1979ijcai-resolution/)

BibTeX

@inproceedings{shimura1979ijcai-resolution,
  title     = {{Resolution in a New Modal Logic}},
  author    = {Shimura, Masamichi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {809-814},
  url       = {https://mlanthology.org/ijcai/1979/shimura1979ijcai-resolution/}
}