scientific article

zbMATH Open1312.03037MaRDI QIDQ2940164

Vedran Čačić, Mladen Vuković

Publication date: 26 January 2015

Full work available at URL: http://hrcak.srce.hr/file/188441

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

zbMATH Keywords

finite model propertyinterpretability logicVeltman models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

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