A Completeness Theorem for Two-Layer Modal Logics

Bibliografické údaje

Autoři

• doc. Ing. Petr Cintula, Ph.D. DSc.

Rok vydání

2013

Typ publikace

Abstrakt

Periodikum

Proceedings of the International Workshop on Algebraic Logic in Computer Science

Projekty

• Matematická fuzzy logika v informatice

Bibliografická citace

CINTULA, Petr, NOGUERA, Carles. A Completeness Theorem for Two-Layer Modal Logics. In: Proceedings of the International Workshop on Algebraic Logic in Computer Science. Stellenbosch: University of Stellenbosch, 2013, S. 1-4. Dostupné z: http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Noguera-Cintula.pdf

ID

422080

Online záznam

Zobrazit online záznam