A Completeness Theorem for Two-Layer Modal Logics

Bibliographic details

Authors

Petr Cintula, Carles Noguera

Publication year

2013

Publication type

Abstrakt

Periodical

Proceedings of the International Workshop on Algebraic Logic in Computer Science

Projects

• Mathematical Fuzzy Logic in Computer Science

Bibliographic citation

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 record

View online record