scientific article

From MaRDI portal

Publication:3509062

Jump to:navigation, search

zbMath1148.03020MaRDI QIDQ3509062

Eric Martin

Publication date: 1 July 2008

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

zbMATH Keywords

Kripke semantics first-order modal logic

Mathematics Subject Classification ID

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

Related Items (1)

Logic programming as classical inference

This page was built for publication:

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