scientific article

From MaRDI portal

Publication:2718477

Jump to:navigation, search

zbMath0980.03060MaRDI QIDQ2718477

Mladen Vuković

Publication date: 26 July 2001

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

zbMATH Keywords

bisimulation interpretability logic principle of interpretability Veltman model

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Bisimulations and bisimulation games between Verbrugge models ⋮ The principles of interpretability

This page was built for publication:

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