scientific article; zbMATH DE number 1047504
From MaRDI portal
Publication:4349281
zbMath0874.03023MaRDI QIDQ4349281
Ágnes Kurucz, András Simon, Istvan Németi, Ildikó Sain, Hajnalka Andréka
Publication date: 5 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilitydecidabilitymulti-modal logicsLambek Calculusaction logicsassociativity of modal operatorlattice of arrow logics
Modal logic (including the logic of norms) (03B45) Undecidability and degrees of sets of sentences (03D35) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)
Related Items (3)
Combining word problems through rewriting in categories with products ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Unnamed Item
This page was built for publication:
