scientific article

zbMath1254.03031MaRDI QIDQ2904049

David Fernández-Duque

Publication date: 5 August 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicmeasure algebracompletenesstopological semanticsinterior operatormeasure-theoretic semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Measures on Boolean rings, measure algebras (28A60)

Related Items

A sound and complete axiomatization for Dynamic Topological Logic, THE BAIRE CLOSURE AND ITS LOGIC, First order \(S4\) and its measure-theoretic semantics, LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA, Dynamic measure logic