Joshua Sack

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Kill rates by Immune cells: ratio-dependent, or mass action?	2024-04-03	Paper
Intermediate rings of complex-valued continuous functions	2021-07-05	Paper
Recent progress in rings and subrings of real valued measurable functions	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5146592	2021-01-26	Paper
Ideals in rings and intermediate rings of measurable functions	2020-05-04	Paper
The probabilistic logic of communication and change	2020-02-13	Paper
Logics for Dynamic Epistemic Behavioral Strategies	2020-02-04	Paper
The logic of qualitative probability	2019-08-28	Paper
Idempotents in Tangle Categories Split	2019-05-23	Paper
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs	2018-02-27	Paper
\(P\)-spaces and intermediate rings of continuous functions	2018-02-20	Paper
Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices	2018-02-05	Paper
Logics of temporal-epistemic actions	2017-03-14	Paper
Compositional Reasoning for Multi-modal Logics	2015-12-11	Paper
Duality for the logic of quantum actions	2015-09-15	Paper
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics	2015-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q5174653	2015-02-18	Paper
PLQP \& Company: decidable logics for quantum algorithms	2014-11-19	Paper
A modal logic for mixed strategies	2014-06-19	Paper
Characterizations of ideals in intermediate \(C\)-rings \(A(X)\) via the \(A\)-compactifications of \(X\)	2014-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5405537	2014-04-02	Paper
\(C\) and \(C^*\) among intermediate rings	2013-11-20	Paper
Quantum Probabilistic Dyadic Second-Order Logic	2013-09-17	Paper
Resource bisimilarity and graded bisimilarity coincide	2013-04-04	Paper
A General Framework for Probabilistic Characterizing Formulae	2012-06-15	Paper
Refined inversion statistics on permutations	2012-06-12	Paper
Characteristic formulae for fixed-point semantics: a general framework	2012-05-11	Paper
Logic for update products and steps into the past	2011-08-26	Paper
Dynamic epistemic temporal logic	2010-01-07	Paper
Extending probabilistic dynamic epistemic logic	2009-11-04	Paper
Temporal languages for epistemic programs	2009-03-24	Paper

Research outcomes over time

This page was built for person: Joshua Sack