Ori Lahav

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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 Godel 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ori Lahav