scientific article

From MaRDI portal

Publication:3777990

Jump to:navigation, search

zbMath0637.03015MaRDI QIDQ3777990

Giangiacomo Gerla

Publication date: 1987

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

zbMATH Keywords

semantics Kripke models first order modal logic logic of extensions logic of invariance

Mathematics Subject Classification ID

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

Related Items (1)

The Invariance Modality

This page was built for publication:

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