Temporal Languages for Epistemic Programs. - Joshua Sack (J. Log. Lang. Inf., 2008)

Dynamic Epistemic Temporal Logic. - Bryan Renne; Joshua Sack; Audrey Yap (LORI, 2009)

Characteristic Formulae for Fixed-Point Semantics: A General Framework - Luca Aceto; Anna Ingólfsdóttir; Joshua Sack (EXPRESS, 2009)

Extending probabilistic dynamic epistemic logic. - Joshua Sack (Synth., 2009)

Logic for update products and steps into the past. - Joshua Sack (Ann. Pure Appl. Log., 2010)

Resource bisimilarity and graded bisimilarity coincide. - Luca Aceto; Anna Ingólfsdóttir; Joshua Sack (Inf. Process. Lett., 2010)

Sigma algebras in probabilistic epistemic dynamics. - Luca Aceto; Wiebe van der Hoek; Anna Ingólfsdóttir; Joshua Sack (TARK, 2011)

A General Framework for Probabilistic Characterizing Formulae. - Joshua Sack; Lijun Zhang 001 (VMCAI, 2012)

Refined Inversion Statistics on Permutations. - Joshua Sack; Henning Úlfarsson (Electron. J. Comb., 2012)

Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief) - Simon Kramer 001; Joshua Sack (CoRR, 2012)

Characteristic formulae for fixed-point semantics: a general framework. - Luca Aceto; Anna Ingólfsdóttir; Paul Blain Levy; Joshua Sack (Math. Struct. Comput. Sci., 2012)

Compositional Reasoning for Multi-modal Logics. - Luca Aceto; Anna Ingólfsdóttir; Cristian Prisacariu; Joshua Sack (LFCS, 2013)

Quantum Probabilistic Dyadic Second-Order Logic. - Alexandru Baltag; Jort Bergfeld; Kohei Kishida; Joshua Sack; Sonja Smets; Shengyang Zhong (WoLLIC, 2013)

Characterizations of Ideals in Intermediate C-Rings A(X) via the A-Compactifications of X. - Joshua Sack; Saleem Watson (Int. J. Math. Math. Sci., 2013)

A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics. - Sebastian Enqvist; Joshua Sack (CMCS, 2014)

A Modal Logic for Mixed Strategies. - Joshua Sack; Wiebe van der Hoek (Stud Logica, 2014)

Duality for the Logic of Quantum Actions. - Jort M. Bergfeld; Kohei Kishida; Joshua Sack; Shengyang Zhong (Stud Logica, 2015)

Logics of temporal-epistemic actions. - Bryan Renne; Joshua Sack; Audrey Yap (Synth., 2016)

Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. - Jort Martinus Bergfeld; Joshua Sack (Soft Comput., 2017)

The logic of qualitative probability. - James P. Delgrande; Bryan Renne; Joshua Sack (Artif. Intell., 2019)

The probabilistic logic of communication and change. - Andreea Achimescu; Alexandru Baltag; Joshua Sack (J. Log. Comput., 2019)

Epistemic Logic of Likelihood and Belief. - James P. Delgrande; Joshua Sack; Gerhard Lakemeyer; Maurice Pagnucco (IJCAI, 2022)

Enriched Quantales Arising from Complete Orthomodular Lattices. - Soroush Rafiee Rad; Joshua Sack; Shengyang Zhong (Stud Logica, 2025)