Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by V. B. Shehtman
Undecidability of Modal and Intermediate First-Order Logics With Two Individual Variables
Journal of Symbolic Logic
Philosophy
Logic
Related publications
First-Order Resolution Methods for Modal Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining Unification and Rewriting in Proofs for Modal Logics With First-Order Undefinable Frames
First-Order Logics of Branching Time
Logical Investigations
Non-Finitely Axiomatisable Two-Dimensional Modal Logics
Journal of Symbolic Logic
Philosophy
Logic
Two-Layer Modal Logics: From Fuzzy Logics to a General Framework
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
On Arithmetical Completeness of First-Order Logics of Provability
Modal Logics of Reactive Frames
Cognitive Technologies
Hilbert-Style Presentations of Two Logics Associated to Tetravalent Modal Algebras
Studia Logica
Philosophy of Science
Logic
History
