scientific article; zbMATH DE number 1157127

From MaRDI portal

Publication:4391083

Jump to:navigation, search

zbMath0957.03030MaRDI QIDQ4391083

Takafumi Migita, Tsutomu Hosoi

Publication date: 19 March 2001

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

zbMATH Keywords

sequent calculi normal modal logic monotonic modal logic regular modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

A formal characterisation of Hamblin's action-state semantics

This page was built for publication:

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