# Yoni Zohar

According to our database

Collaborative distances:

^{1}, Yoni Zohar authored at least 26 papers between 2014 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.

Stud Logica, 2020

CoRR, 2020

Ann. Pure Appl. Log., 2020

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

ACM Trans. Comput. Log., 2019

Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics.

Rev. Symb. Log., 2019

Logica Universalis, 2019

J. Log. Comput., 2019

Log. J. IGPL, 2019

Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

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

2018

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

2017

Logica Universalis, 2017

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Proceedings of the GCAI 2017, 2017

2016

'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

Proceedings of the Advances in Modal Logic 11, 2016

2014

Proceedings of the Logic, Language, Information, and Computation, 2014

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014