External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decidability for Justification Logics Revisited

Samuel Bucheli, Roman Kuznets, Thomas Studer. Decidability for Justification Logics Revisited. In Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter, editors, Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers. Volume 7758 of Lecture Notes in Computer Science, pages 166-181, Springer, 2011. [doi]

Authors

Samuel Bucheli

This author has not been identified. Look up 'Samuel Bucheli' in Google

Roman Kuznets

This author has not been identified. Look up 'Roman Kuznets' in Google

Thomas Studer

This author has not been identified. Look up 'Thomas Studer' in Google
runs on