scientific article

From MaRDI portal

Publication:3344174

Jump to:navigation, search

zbMath0551.03008MaRDI QIDQ3344174

Graham Wrightson

Publication date: 1984

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

zbMATH Keywords

modal logic semantic tableau proof procedures

Mathematics Subject Classification ID

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

This page was built for publication:

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