scientific article

zbMATH Open0666.03016MaRDI QIDQ3818299

P. I. Bystrov

Publication date: 1988

Title of this publication is not available (Why is that?)

zbMATH Keywords

relevance logicsBeth-style tableaux formulationsGentzen- style consecution calculipropositional modal systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Dealing with Symmetries in Modal Tableaux

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3818299)