scientific article; zbMATH DE number 559224

zbMATH Open0804.03025MaRDI QIDQ4289282FDOQ4289282

Authors: Ian Hodkinson 

Publication date: 28 April 1994

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Other infinitary logic (03C75) Interpolation, preservation, definability (03C40)

Cited In (1)

• Adding the everywhere operator to propositional logic

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 Q4289282)