J. Sack

发表

Logic and Probability

Barteld P. Kooi, L. Demey, J. Sack, 2013 .

Compositional Reasoning for Epistemic Logics ∗

L. Aceto, A. Ingólfsdóttir, Cristian Prisacariu, 2012 .

PLQP & Company: Decidable Logics for Quantum Algorithms

A. Baltag, J. Sack, S. Zhong, 2014 .

Joshua Sack Wiebe van der Hoek A Modal Logic for Mixed Strategies

J. Sack, 2013 .

Epistemic Logic of Likelihood and Belief

G. Lakemeyer, J. Delgrande, M. Pagnucco, 2022, IJCAI.

Categorical Equivalence Between Orthomodular Dynamic Algebras and Complete Orthomodular Lattices

J. Sack, S. Zhong, Soroush Rafiee Rad, 2017 .

Recent progress in rings and subrings of real valued measurable functions

J. Sack, S. Acharyya, Soumyadip Acharyya, 2018, Quaestiones Mathematicae.

Ideals in rings and intermediate rings of measurable functions

J. Sack, S. Acharyya, Sagarmoy Bag, 2018, Journal of Algebra and Its Applications.

L. Aceto, A. Ingólfsdóttir, J. Sack, 2010 .

PLQP & Company: Decidable Logics for Quantum Algorithms

A. Baltag, J. Sack, S. Zhong, 2014, International Journal of Theoretical Physics.

Logic and Interactive RAtionality Yearbook 2012

J. Benthem, M. Kaneko, R. Parikh, 2014 .

The probabilistic logic of communication and change

Joshua Sack, Alexandru Baltag, Andreea Achimescu, 2019, J. Log. Comput..

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

Joshua Sack, Jort Martinus Bergfeld, J. Sack, 2017, Soft Comput..

A Modal Logic for Mixed Strategies

J. Sack, W. van der Hoek, 2014, Studia Logica.

A Modal Logic for Mixed Strategies

Joshua Sack, Wiebe van der Hoek, W. Hoek, 2014, Studia Logica.

Reasoning with Probabilities

Joshua Sack, Eric Pacuit, E. Pacuit, 2009 .

Duality for the Logic of Quantum Actions

Jort Bergfeld, Kohei Kishida, Joshua Sack, 2015, Stud Logica.

Characteristic formulae for fixed-point semantics: a general framework

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2009, Mathematical Structures in Computer Science.

Logics of temporal-epistemic actions

Joshua Sack, Audrey Yap, Bryan Renne, 2015, Synthese.

Compositional Reasoning for Multi-modal Logics

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2013, LFCS.

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

Joshua Sack, Simon Kramer, J. Sack, 2012, ArXiv.

Logic for update products and steps into the past

Joshua Sack, J. Sack, 2010, Ann. Pure Appl. Log..

Temporal Languages for Epistemic Programs

Joshua Sack, J. Sack, 2008, J. Log. Lang. Inf..

Extending probabilistic dynamic epistemic logic

Joshua Sack, J. Sack, 2009, Synthese.

Epistemic Probabilistic Logic

Joshua Sack, Lorenz Demey, L. Demey, 2015 .

Logics of temporal-epistemic actions

J. Sack, B. Renne, Audrey Yap, 2014, Synthese.

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2010, Inf. Process. Lett..

Sigma algebras in probabilistic epistemic dynamics

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2011, TARK XIII.

Quantum Undergraduate Education and Scientific Training

J. M. Grossman, J. Sack, J. Perron, 2021, 2109.13850.

Idempotents in Tangle Categories Split

J. Sack, Ryan Blair, 2017, Journal of knot theory and its ramifications.

Logics for Dynamic Epistemic Behavioral Strategies

Joshua Sack, J. Sack, 2016 .

Intermediate rings of complex-valued continuous functions

J. Sack, S. Acharyya, Amrita Acharyya, 2020, 2001.09659.

Topology Proceedings 43 (2014) pp. 69-82: C and C* among intermediate rings

J. Sack, 2013 .

Correspondences between ideals and z-filters for rings of continuous functions between C* and C

J. Sack, S. Watson, P. Panman, 2012 .

A General Framework for Probabilistic Characterizing Formulae

Lijun Zhang, Joshua Sack, Lijun Zhang, 2012, VMCAI.

Dynamic Epistemic Temporal Logic

Joshua Sack, Audrey Yap, Bryan Renne, 2009, LORI.

Adding temporal logic to dynamic epistemic logic

Joshua Sack, Lawrence S. Moss, L. Moss, 2007 .