Sequent calculi of transitional composition-nominative modal logics

zbMATH Open1289.03017MaRDI QIDQ2850366FDOQ2850366

O. S. Shkil'nyak

Publication date: 26 September 2013

Published in: Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)

zbMATH Keywords

sequent calculuslogical consequencecomposition-nominative modal logics

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: Sequent calculi of transitional composition-nominative modal logics

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