Yoni Zohar

According to our database1, Yoni Zohar authored at least 26 papers between 2014 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.
Stud Logica, 2020

Resources: A Safe Language Abstraction for Money.
CoRR, 2020

Modal extension of ideal paraconsistent four-valued logic and its subsystem.
Ann. Pure Appl. Log., 2020

The Move Prover.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Politeness for the Theory of Algebraic Datatypes.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Pure Sequent Calculi: Analyticity and Decision Procedure.
ACM Trans. Comput. Log., 2019

Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics.
Rev. Symb. Log., 2019

Correction to: Sequent Systems for Negative Modalities.
Logica Universalis, 2019

Towards automated reasoning in Herbrand structures.
J. Log. Comput., 2019

Yet another paradefinite logic: The role of conflation1.
Log. J. IGPL, 2019

Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract).
Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019

DRAT-based Bit-Vector Proofs in CVC4.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic.
Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

Towards Bit-Width-Independent Proofs in SMT Solvers.
Proceedings of the Automated Deduction - CADE 27, 2019

Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Online detection of effectively callback free objects with applications to smart contracts.
Proc. ACM Program. Lang., 2018

From the subformula property to cut-admissibility in propositional sequent calculi.
J. Log. Comput., 2018

Sequent Systems for Negative Modalities.
Logica Universalis, 2017

Cut-Admissibility as a Corollary of the Subformula Property.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions.
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Reasoning Inside The Box: Deduction in Herbrand Logics.
Proceedings of the GCAI 2017, 2017

'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

It ain't necessarily so: Basic sequent systems for negative modalities.
Proceedings of the Advances in Modal Logic 11, 2016

On the Construction of Analytic Sequent Calculi for Sub-classical Logics.
Proceedings of the Logic, Language, Information, and Computation, 2014

SAT-Based Decision Procedure for Analytic Pure Sequent Calculi.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014