ML Anthology

Cooperation Between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5

Ricardo Caferra, Stéphane Demri
IJCAI 1993 pp. 74-79
/ijcai/1993/caferra1993ijcai-cooperation/
PDF IJCAI Semantic Scholar

Cite

Text

Caferra and Demri. "Cooperation Between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5." International Joint Conference on Artificial Intelligence, 1993.

Markdown

[Caferra and Demri. "Cooperation Between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/caferra1993ijcai-cooperation/)

BibTeX

@inproceedings{caferra1993ijcai-cooperation,
  title     = {{Cooperation Between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5}},
  author    = {Caferra, Ricardo and Demri, Stéphane},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {74-79},
  url       = {https://mlanthology.org/ijcai/1993/caferra1993ijcai-cooperation/}
}