Generic Trace Logics
Logic in Computer Science
2011-03-17 v1
Abstract
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.
Cite
@article{arxiv.1103.3239,
title = {Generic Trace Logics},
author = {Christian Kissig and Alexander Kurz},
journal= {arXiv preprint arXiv:1103.3239},
year = {2011}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Steps and Traces
Jurriaan Rot, Bart Jacobs, Paul Levy
2020-04-14
Logic in Computer Science · Computer Science
Coalgebraic trace semantics via forgetful logics
Bartek Klin, Jurriaan Rot
2019-03-14
Logic in Computer Science · Computer Science
Generic Trace Semantics via Coinduction
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2015-07-01
Logic in Computer Science · Computer Science
Algebraic Structure of Combined Traces
Lukasz Mikulski
2015-07-01
Logic in Computer Science · Computer Science
Trace semantics via determinization for probabilistic transition systems
Alexandre Goy
2018-02-27
Logic in Computer Science · Computer Science
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2023-06-22
Logic in Computer Science · Computer Science
Modelling Concurrency with Comtraces and Generalized Comtraces
Ryszard Janicki, Dai Tri Man Le
2011-09-01
Logic in Computer Science · Computer Science
Simplified Coalgebraic Trace Equivalence
Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
2014-10-17
Logic · Mathematics
Hoops, Coops and the Algebraic Semantics of Continuous Logic
Rob Arthan, Paulo Oliva
2012-12-13
Formal Languages and Automata Theory · Computer Science
On Three Alternative Characterizations of Combined Traces
Dai Tri Man Le
2011-10-19
Quantum Algebra · Mathematics
Coassociativity breaking and oriented graphs
Philippe Leroux
2007-05-23
Algebraic Geometry · Mathematics
The geometry of Markov traces
Ben Webster, Geordie Williamson
2019-12-19
Algebraic Topology · Mathematics
The Cubical Homology of Trace Monoids
Ahmet A. Husainov
2011-10-31
Logic in Computer Science · Computer Science
A Proof-theoretic Semantics for Intuitionistic Linear Logic
Yll Buzoku
2025-10-16
Logic · Mathematics
Poset Products as Relational Models
Wesley Fussner
2023-07-24
Logic · Mathematics
Mathematical semantics of intuitionistic logic
Sergey A. Melikhov
2017-05-02
Logic in Computer Science · Computer Science
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
2019-11-19
Logic in Computer Science · Computer Science
Trace Logic for Inductive Loop Reasoning
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
2020-08-07
K-Theory and Homology · Mathematics
Slices of Co-Operations for $KGL$
Pablo Pelaez, Charles Weibel
2017-05-17
Logic in Computer Science · Computer Science
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics
Georgiana Caltais
2015-02-11
Logic · Mathematics
On some open problems in Algebraic logic
Tarek Sayed Ahmed
2013-04-05
Logic in Computer Science · Computer Science
Logical Predicates in Higher-Order Mathematical Operational Semantics
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas +1
2024-01-15
Distributed, Parallel, and Cluster Computing · Computer Science
A Characterization of Combined Traces Using Labeled Stratified Order Structures
Dai Tri Man Le
2010-04-13
Logic in Computer Science · Computer Science
An Expressive Trace Logic for Recursive Programs
Dilian Gurov, Reiner Hähnle
2024-11-21
Logic in Computer Science · Computer Science
Coalgebraic completeness-via-canonicity for distributive substructural logics
Fredrik Dahlqvist, David Pym
2016-02-03