Semantic aspects of transitional composition-nominative modal logics

MaRDI QIDQ2850303zbMATH 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

composition-nominative modal logicslogical consequencesemantics

Mathematics Subject Classification ID

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

Recommendations

• Sequent calculi of transitional composition-nominative modal logics
• Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach
• Semantic aspects of modal logics of partial non-monotone predicates
• Composition nominative logics of equitone predicates
• First-order composition-nominative logics

Cited in

(9)

• Composition-nominative logics as institutions
• Modal logics of non-monotone partial predicates
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Sequent calculi of transitional composition-nominative modal logics
• Ontological transition systems structures
• Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach
• Semantic aspects of modal logics of partial non-monotone predicates
• Transition Logic Revisited
• Semantics of templates in a compositional framework for building logics

This page was built for publication: Semantic aspects 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 Q2850303)