A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology

Kaustuv Chaudhuri, Joëlle Despeyroux

Type: Preprint

Publication Date: 2013-01-01

Citations: 9

DOI: https://doi.org/10.48550/arxiv.1310.4310

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	A Hybrid Linear Logic for Constrained Transition Systems	2016	Joëlle Despeyroux Kaustuv Chaudhuri
+	Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints	2012	Alphan Ulusoy Tichakorn Wongpiromsarn Călin Belta
+	Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints	2012	Alphan Ulusoy Tichakorn Wongpiromsarn Călin Belta
+ PDF Chat	Incremental control synthesis in probabilistic environments with Temporal Logic constraints	2012	Alphan Ulusoy Tichakorn Wongpiromsarn Călin Belta
+	Computational Logic for Biomedicine and Neurosciences	2020	Elisabetta De Maria Joëlle Despeyroux Amy Felty Píetro Lió Carlos Olarte Abdorrahim Bahrami
+ PDF Chat	(Mathematical) Logic for Systems Biology (Invited Paper)	2016	Joëlle Despeyroux
+ PDF Chat	Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games	2016	Mária Svoreňová Jan Křetínský Martin Chmelík Krishnendu Chatterjee Ivana Černá Călin Belta
+ PDF Chat	CHR(PRISM)-based probabilistic logic learning	2010	Jon Sneyers Wannes Meert Joost Vennekens Yoshitaka Kameya Taisuke Sato
+	A Higher-Order Language for Markov Kernels and Linear Operators	2022	Pedro H. Azevedo de Amorim
+	Probabilistic Logic	1999	Michael Pittarelli
+ PDF Chat	Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction	2013	Hariolf Betz Thom Frühwirth
+ PDF Chat	Programming in logic without logic programming	2016	Robert Kowalski Fariba Sadri
+	Loglinear models for first-order probabilistic reasoning	1999	James Cussens
+	Loglinear models for first-order probabilistic reasoning	2013	James Cussens
+	Parametric mixed sequent calculus	2009	Karim Nour Olivier Laurent
+	A framework for modelling Molecular Interaction Maps	2020	Jean‐Marc Alliot Marta Cialdea Mayer Robert Demolombe Martín Diéguez Luís Fariñas del Cerro
+	XPL: An extended probabilistic logic for probabilistic transition systems	2016	Andrey Gorlin C. R. Ramakrishnan
+	A More Sensitive Context	2017	Christopher J. Banks Ian Stark
+ PDF Chat	Linear-time logics -- a coalgebraic perspective	2024	Corina Ĉırstea
+	Linear-time logics -- a coalgebraic perspective	2016	Corina Ĉırstea

Works That Cite This (3)

Action	Title	Year	Authors
+ PDF Chat	A Logical Framework for Systems Biology	2014	Elisabetta De Maria Joëlle Despeyroux Amy Felty
+ PDF Chat	A Logical Framework for Systems Biology	2014	Elisabetta De Maria Joëlle Despeyroux Amy Felty
+	A Hybrid Linear Logic for Constrained Transition Systems	2016	Joëlle Despeyroux Kaustuv Chaudhuri

Works Cited by This (2)

Action	Title	Year	Authors
+	Markov Processes: Characterization and Convergence.	1987	Andris Abakuks S. N. Ethier Thomas G. Kurtz
+	Calcul des probabilités, cours, exercices et problèmes corrigés	2012	Aimé Fuchs Dominique Foata Jacques Franchi