Proof theory of epistemic logic of programs

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

ISSN: 2300-9802

Datum der Publikation: 2014

Ausgabe: 23

Nummer: 3

Seiten: 301-328

Art: Artikel

DOI: 10.12775/LLP.2013.026 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus