Proof theory of epistemic logic of programs

  1. Maffezioli, P.
  2. Naibo, A.
Revista:
Logic and Logical Philosophy

ISSN: 2300-9802

Año de publicación: 2014

Volumen: 23

Número: 3

Páginas: 301-328

Tipo: Artículo

DOI: 10.12775/LLP.2013.026 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus