Sequent calculi of transitional composition-nominative modal logics

MaRDI QIDQ2850366zbMATH OpenFDO

Authors 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)

Recommendations

• Semantic aspects of transitional composition-nominative modal logics
• Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates
• Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach
• Sequent calculi for logics of partial and multi-valued quasi-ary predicates
• scientific article; zbMATH DE number 2169149

Cited in

(6)

• Semantic aspects of modal logics of partial non-monotone predicates
• scientific article; zbMATH DE number 1341473 (Why is no real title available?)
• Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach
• Systems of logical reasoning in logics of free-quantifier functional levels
• Semantic aspects of transitional composition-nominative modal logics
• Modal logics of non-monotone partial predicates

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)