scientific article

From MaRDI portal

Publication:2882459

Jump to:navigation, search

zbMath1250.03031MaRDI QIDQ2882459

Ramon Jansana, Sergio Arturo Celani

Publication date: 4 May 2012

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

zbMATH Keywords

model theory definability saturated models positive modal logic Hennessy-Milner classes positive bisimulation replete models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Related Items (2)

AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2882459&oldid=15830303"