Submodel-defining formulas

zbMATH Open1249.03010MaRDI QIDQ2898996

S. S. Mardaev

Publication date: 13 July 2012

Published in: Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

fixed pointframepositive operatormodal logicsnonstandard logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items (2)

Formal model of internal measurement: Alternate changing between recursive definition and domain equation ⋮ Subformula Linking as an Interaction Method

This page was built for publication: Submodel-defining formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2898996)