Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by ROSTISLAV E. YAVORSKY
On Arithmetical Completeness of First-Order Logics of Provability
Related publications
First-Order Logics of Branching Time
Logical Investigations
The Completeness of the First-Order Functional Calculus
Journal of Symbolic Logic
Philosophy
Logic
First-Order Resolution Methods for Modal Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Completeness for First-Order Properties on Sparse Structures With Algorithmic Applications
Completeness and Decidability Results for First-Order Clauses With Indices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Undecidability of Modal and Intermediate First-Order Logics With Two Individual Variables
Journal of Symbolic Logic
Philosophy
Logic
On Completeness of Root Vectors of the Cauchy Problem of the First Order Equation With Deviating Argument
PHYSICO-MATHEMATICAL SERIES
Simple Completeness Proofs for Some Spatial Logics of the Real Line
Query Order and NP-completeness
