scientific article; zbMATH DE number 220377

zbMath0793.03065MaRDI QIDQ4696162

G. K. Dzhaparidze

Publication date: 29 June 1993

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

zbMATH Keywords

consistencyinterpretability logicfinite Visser modelspropositional modal logic OIL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (1)

A generalized notion of weak interpretability and the corresponding modal logic

This page was built for publication: