scientific article; zbMATH DE number 3492652

zbMATH Open0315.02029MaRDI QIDQ4074882FDOQ4074882

Authors: M. J. Cresswell 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99)

Cited In (1)

• A study of Kripke-type models for some modal logics by Gentzen's sequential method

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4074882)