LIBROS DEL AUTOR: roman kuznets

1 resultados para LIBROS DEL AUTOR: roman kuznets

roman kuznets Eliminar filtro Quitar filtros
  • Logics of Proofs and Justifications
    Roman Kuznets / Thomas Studer
    Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved ben...
    Disponible

    25,40 €