Ori Lahav

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Rely-guarantee reasoning for causally consistent shared memory	2024-02-01	Paper
An algebraic theory for shared-state concurrency	2023-07-25	Paper
Effective semantics for the modal logics K and KT via non-deterministic matrices	2022-12-07	Paper
On the semantics of snapshot isolation	2020-01-23	Paper
Explaining relaxed memory models with program transformations	2020-01-03	Paper
Pure Sequent Calculi	2019-11-22	Paper
A separation logic for a promising semantics	2019-09-13	Paper
On parallel snapshot isolation and release/acquire consistency	2019-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q5224558	2019-07-24	Paper
From the subformula property to cut-admissibility in propositional sequent calculi	2019-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4583744	2018-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4636049	2018-04-23	Paper
Cut-admissibility as a corollary of the subformula property	2018-02-02	Paper
Sequent systems for negative modalities	2017-11-29	Paper
A cut-free calculus for second-order Gödel logic	2017-11-10	Paper
A promising semantics for relaxed-memory concurrency	2017-10-20	Paper
From Frame Properties to Hypersequent Rules in Modal Logics	2017-07-03	Paper
Taming release-acquire consistency	2016-10-24	Paper
Decentralizing SDN policies	2016-09-29	Paper
Semantic investigation of canonical Gödel hypersequent systems	2016-04-28	Paper
Automated Support for the Investigation of Paraconsistent and Other Logics	2015-12-11	Paper
Owicki-Gries Reasoning for Weak Memory Models	2015-11-04	Paper
A unified semantic framework for fully structural propositional sequent systems	2015-09-17	Paper
Taming Paraconsistent (and Other) Logics	2015-09-17	Paper
Finite-valued semantics for canonical labelled calculi	2015-06-23	Paper
On the Construction of Analytic Sequent Calculi for Sub-classical Logics	2015-01-13	Paper
SAT-Based Decision Procedure for Analytic Pure Sequent Calculi	2014-09-26	Paper
Primal Infon Logic with Conjunctions as Sets	2014-09-15	Paper
Modular reasoning about heap paths via effectively propositional formulas	2014-04-10	Paper
A semantic proof of strong cut-admissibility for first-order Godel logic	2013-04-19	Paper
Non-deterministic connectives in propositional Gödel logic	2013-01-15	Paper
Effective finite-valued semantics for labelled calculi	2012-09-05	Paper
Kripke Semantics for Basic Sequent Systems	2011-07-01	Paper
Basic Constructive Connectives, Determinism and Matrix-Based Semantics	2011-07-01	Paper
A multiple-conclusion calculus for first-order Gödel logic	2011-06-17	Paper
On constructive connectives and systems	2011-03-08	Paper
Strict canonical constructive systems	2010-09-03	Paper
Canonical constructive systems	2009-12-01	Paper

Research outcomes over time

This page was built for person: Ori Lahav