Sequent calculi of transitional composition-nominative modal logics
From MaRDI portal
Publication:2850366
zbMATH Open1289.03017MaRDI QIDQ2850366FDOQ2850366
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)
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
Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
Cited In (6)
- Title not available (Why is that?)
- 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
- Modal logics of non-monotone partial predicates
- Semantic aspects of transitional composition-nominative modal logics
- Semantic aspects of modal logics of partial non-monotone 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)
