Undecidability of Some Product Modal Logics

Bibliografické údaje

Autoři

• Amanda Vidal Wandelmer, Ph.D.

Rok vydání

2016

Typ publikace

Abstrakt

Periodikum

SYSMICS 2016. Syntax Meets Semantics. Booklet of Abstracts

Bibliografická citace

VIDAL, Amanda. Undecidability of Some Product Modal Logics. In: SPADA, L., ed. SYSMICS 2016. Syntax Meets Semantics. Booklet of Abstracts. Barcelona, 2016, S. 130-133.

ID

462717