Abstract

A Completeness Theorem for Two-Layer Modal Logics

Cintula Petr, Noguera Carles

: Proceedings of the International Workshop on Algebraic Logic in Computer Science, p. 1-4

: International Workshop on Algebraic Logic in Computer Science, (Stellenbosch, ZA, 14.12.2013)

: GAP202/10/1826, GA ČR

: mathematical fuzzy logic, modal logic, probability

: http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Noguera-Cintula.pdf

: BA