Buchumschlag

Sequent calculi of composition nominative modal logics of functional-equational level

Composition nominative modal and temporal logics of functional-equational level are studied in this paper. Basing on properties of relation of logical consequence for sets of formulas, sequent calculi are constructed for general and temporal logics of such level. The soundness and completeness theor...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
1. Verfasser:	Shkilnyak, O.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 510.69
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/794
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Spectrum of sequential number pershopordinal compositional-nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

Composition nominative modal logics of partial non-monotone predicates and their calculi
von: Shkilniak, O.S., et al.
Veröffentlicht: (2018)

First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2020)

Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)

Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)

Construction of sequent calculi of composition-nominative multimodal logics
von: Shkilniak, O.S.
Veröffentlicht: (2025)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)

Propositional logics of partial predicates with composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)

Compositional logics of nominative data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

Sequent calculi for logics of free-quantifier functional levels
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
von: Shkilniak, О.S., et al.
Veröffentlicht: (2023)

Composition nominative modal logics of partial non-monotone predicates and their calculi
von: O. S. Shkilniak, et al.
Veröffentlicht: (2017)

Completeness of sequent calculi for modal logics of non-monotone partial predicates
von: O. S. Shkilniak, et al.
Veröffentlicht: (2016)

Relations of logical consequence in composition nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Logics of general non-deterministic predicates: semantic aspects
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Semantic properties of five-valued logics
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Algebras of general non-deterministic predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
von: O. S. Shkilniak
Veröffentlicht: (2013)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
von: Shkilniak, O.S.
Veröffentlicht: (2019)

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
von: S. S. Shkilniak
Veröffentlicht: (2013)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2020)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2018)

Algebras of quasiary and of bi-quasiary relations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Logical view for construction-synthesis model of data structures
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2025)

Composition-nominative logics of free-quantifier levels
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

Designers sets and multisets of objects
von: Terletskyi, D.O.
Veröffentlicht: (2025)

Mathematical foundations for designing and development of intelligent systems of information analysis
von: Terletskyi, D.O., et al.
Veröffentlicht: (2025)

Walsh-Related Functions of Sequention System
von: Ja. Beletskij
Veröffentlicht: (2017)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: S. S. Shkilniak
Veröffentlicht: (2019)

The technique of using Description Logics in the process of constructing a composite service at the functional level
von: Zakharova, O.V.
Veröffentlicht: (2018)

The author&#039;s modality of esthetic nominations of space in Galyna Pagutiak&#039;s prose scale
von: L. Holoiukh
Veröffentlicht: (2017)

Logics of quasiary predicates of quantifier-equational level
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)