Joshua Sack

Orcid: 0000-0001-6031-0359

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Epistemic Logic of Likelihood and Belief.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2019
The probabilistic logic of communication and change.
J. Log. Comput., 2019

The logic of qualitative probability.
Artif. Intell., 2019

2017
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs.
Soft Comput., 2017

2016
Logics of temporal-epistemic actions.
Synth., 2016

2015
Duality for the Logic of Quantum Actions.
Stud Logica, 2015

2014
A Modal Logic for Mixed Strategies.
Stud Logica, 2014

A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.
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.
Int. J. Math. Math. Sci., 2013

Quantum Probabilistic Dyadic Second-Order Logic.
Proceedings of the Logic, Language, Information, and Computation, 2013

Compositional Reasoning for Multi-modal Logics.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012
Characteristic formulae for fixed-point semantics: a general framework.
Math. Struct. Comput. Sci., 2012

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

Refined Inversion Statistics on Permutations.
Electron. J. Comb., 2012

A General Framework for Probabilistic Characterizing Formulae.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011
Sigma algebras in probabilistic epistemic dynamics.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

2010
Resource bisimilarity and graded bisimilarity coincide.
Inf. Process. Lett., 2010

Logic for update products and steps into the past.
Ann. Pure Appl. Log., 2010

2009
Extending probabilistic dynamic epistemic logic.
Synth., 2009

Characteristic Formulae for Fixed-Point Semantics: A General Framework
Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009

Dynamic Epistemic Temporal Logic.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2008
Temporal Languages for Epistemic Programs.
J. Log. Lang. Inf., 2008


  Loading...