First-order composition-nominative logics
From MaRDI portal
Publication:2897499
zbMATH Open1249.03039MaRDI QIDQ2897499FDOQ2897499
Authors: M. S. Nikitchenko, S. S. Shkil'nyak 
Publication date: 16 July 2012
Published in: Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)
Recommendations
Cited In (23)
- Propositional compositions of partial predicates
- \(V\)-singular semantic models of first-order logics
- Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach
- Composition nominative logics of equitone predicates
- Pure composition nominative calculi
- Composition nominative first order calculi
- Title not available (Why is that?)
- Satisfiability problem in propositional and renominative composition-nominative logic
- The theory of form logic
- Logics of partial predicates with extended renominations and quantifiers
- Many-sorted first-order composition-nominative logic as institution
- Composition-nominative logics as institutions
- Title not available (Why is that?)
- Composition nominative logics of quasi-ary predicates
- Two-valued and many-valued composition-nominative logics
- First-order logics of quasiary predicates
- Semantic properties of logics of partial predicates with extended renominations
- Satisfiability in composition-nominative logics
- Composition nominative first order logics
- Composition-nominative logics of quasi-ary predicates: semantic aspects
- Satisfiability problem in composition-nominative logics of quantifier-equational level with weak equality
- Semantic aspects of transitional composition-nominative modal logics
- Renominative composition-nominative logics with predicates of equality
This page was built for publication: First-order composition-nominative logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2897499)
