scientific article; zbMATH DE number 1047507

zbMath0874.03026MaRDI QIDQ4349284

Szabolcs Mikulás

Publication date: 11 September 1997

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

zbMATH Keywords

decidabilityKripke modelsfinite model propertymodalitiesalgebraic representation theoremstrongly complete Hilbert-style inference systemvariant of arrow logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (3)

An algebraic glimpse at bunched implications and separation logic ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ Lambek calculus with conjugates

This page was built for publication: