[Updated on July 12] Integration of CiNii Articles into CiNii Research from April 1, 2022

Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus

Bibliographic Information

Title
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
Author
Katsuhiko Sano

Journal

Articles

See more

Research Data

See more

Books

See more

Dissertations

See more

Research Projects

See more

Products

See more

Details

  • CRID
    1010000781955369220
  • Article Type
    journal article
  • Data Source
    • KAKEN
Back to top