Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Naoki Yonezaki
Combining Unification and Rewriting in Proofs for Modal Logics With First-Order Undefinable Frames
Related publications
First-Order Resolution Methods for Modal Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Logics of Reactive Frames
Cognitive Technologies
Undecidability of Modal and Intermediate First-Order Logics With Two Individual Variables
Journal of Symbolic Logic
Philosophy
Logic
Unification in Epistemic Logics
Journal of Applied Non-Classical Logics
Philosophy
Logic
Separation Logic Adapted for Proofs by Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
First-Order Logics of Branching Time
Logical Investigations
Comparing Unification Algorithms in First-Order Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Logics for Continuous Dynamics
Sequent Systems for Modal Logics
