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
https://portal.mardi4nfdi.de/entity/Q2862923	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

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: Joshua Sack