Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic ...

Sep 24, 2024 · Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we ...

Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic ...

Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic ...

Dec 1, 2010 · The spectrum of composition nominative logics is considered and various classes of first-order logics of quasiary predicates are described.

Logics of quasiary predicates are program-oriented logics which aim to reflect such program properties as partiality, non-determinism, and non-fixed arity.

Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic ...

Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic models ...

Vol-1631/63-72⫷Vol-1631/73-86⫸Vol-1631/87-95. Oksana Shkilniak Mykola S. Nikitchenko Stepan S. Shkilniak. Pure first-order logics of quasiary predicates.

The paper investigates algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames or classes of finite Kripke frames.