scientific article

zbMath0763.03015MaRDI QIDQ4018076

Dimiter Vakarelov

Publication date: 16 January 1993

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

zbMATH Keywords

filtrationcompletenesssemanticspropositional dynamic logicbi-modal logicsinductive modal logicsSegerberg's induction axiom

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (3)

Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ On Linear Logic of Knowledge and Time

This page was built for publication: