Proof theory of epistemic logic of programs

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

ISSN: 2300-9802

Year of publication: 2014

Volume: 23

Issue: 3

Pages: 301-328

Type: Article

DOI: 10.12775/LLP.2013.026 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus