article · 2009

logic with transitive closure of accessibility relation

Ryo Kashima, Ryo Kashima

Cited by 0Abstract and details only

Abstract

A proof of the completeness theorem for the modal logic with transitive closure of accessibility relation

Cite this paper

APA 7

Kashima, R., & Kashima, R. (2009). logic with transitive closure of accessibility relation.

MLA 9

Kashima, Ryo, and Ryo Kashima. “logic with transitive closure of accessibility relation.” 2009.

Chicago

Kashima, Ryo, and Ryo Kashima. 2009. “logic with transitive closure of accessibility relation.”

Harvard

Kashima, R. and Kashima, R. (2009) ‘logic with transitive closure of accessibility relation’.

BibTeX

@article{kashima2009logic,
  title = {{logic with transitive closure of accessibility relation}},
  author = {Kashima, Ryo and Kashima, Ryo},
  year = {2009}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.