scientific article; zbMATH DE number 1215472

From MaRDI portal

Publication:4215605

Jump to:navigation, search

zbMath0909.03025MaRDI QIDQ4215605

Hiroyuki Shirasu

Publication date: 26 October 1998

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

zbMATH Keywords

modal logic duality superintuitionistic logic hyperdoctrines general metaframes hyperdoctrinal semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (4)

First-order intensional logic ⋮ Fibered universal algebra for first-order logics ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication:

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