Modal logics of non-monotone partial predicates

MaRDI QIDQ2819022zbMATH OpenFDO

Authors O. S. Shkil'nyak

Publication date 27 September 2016

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

zbMATH Keywords

logical sequencemodal logicpredicatesequent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Semantic aspects of modal logics of partial non-monotone predicates
• scientific article; zbMATH DE number 4012582
• Sequent calculi of transitional composition-nominative modal logics
• scientific article; zbMATH DE number 1163568
• Semantic aspects of transitional composition-nominative modal logics

Cited in

(6)

• Semantic aspects of modal logics of partial non-monotone predicates
• scientific article; zbMATH DE number 1531820 (Why is no real title available?)
• scientific article; zbMATH DE number 1837686 (Why is no real title available?)
• On non-self-referential fragments of modal logics
• Logic Programming and Nonmonotonic Reasoning
• On modal logics of partial recursive functions

This page was built for publication: Modal logics of non-monotone partial predicates

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