scientific article
From MaRDI portal
Publication:3358709
zbMath0732.03011MaRDI QIDQ3358709
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicdecision proceduredeductive equivalencemodal systems between S4 and S5sequential calculi with indices
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
This page was built for publication:
