Joshua Sack

According to our database, Joshua Sack authored at least 22 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Epistemic Logic of Likelihood and Belief.

James P. Delgrande, Joshua Sack, Gerhard Lakemeyer, Maurice Pagnucco

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2019

The probabilistic logic of communication and change.

Andreea Achimescu, Alexandru Baltag, Joshua Sack

J. Log. Comput., 2019

The logic of qualitative probability.

James P. Delgrande, Bryan Renne, Joshua Sack

Artif. Intell., 2019

2017

Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs.

Jort Martinus Bergfeld, Joshua Sack

Soft Comput., 2017

2016

Logics of temporal-epistemic actions.

Bryan Renne, Joshua Sack, Audrey Yap

Synth., 2016

2015

Duality for the Logic of Quantum Actions.

Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong

Stud Logica, 2015

2014

A Modal Logic for Mixed Strategies.

Joshua Sack, Wiebe van der Hoek

Stud Logica, 2014

A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.

Sebastian Enqvist, Joshua Sack

Proceedings of the Coalgebraic Methods in Computer Science, 2014

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

Quantum Probabilistic Dyadic Second-Order Logic.

Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong

Proceedings of the Logic, Language, Information, and Computation, 2013

Compositional Reasoning for Multi-modal Logics.

Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

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

Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)

Simon Kramer, Joshua Sack

CoRR, 2012

Refined Inversion Statistics on Permutations.

Joshua Sack, Henning Úlfarsson

Electron. J. Comb., 2012

A General Framework for Probabilistic Characterizing Formulae.

Joshua Sack, Lijun Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

Sigma algebras in probabilistic epistemic dynamics.

Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

2010

Resource bisimilarity and graded bisimilarity coincide.

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack

Inf. Process. Lett., 2010

Logic for update products and steps into the past.

Joshua Sack

Ann. Pure Appl. Log., 2010

2009

Extending probabilistic dynamic epistemic logic.

Joshua Sack

Synth., 2009

Characteristic Formulae for Fixed-Point Semantics: A General Framework

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack

Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009

Dynamic Epistemic Temporal Logic.

Bryan Renne, Joshua Sack, Audrey Yap

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2008

Temporal Languages for Epistemic Programs.

Joshua Sack

J. Log. Lang. Inf., 2008