Joshua Sack

25 papers A* 2B 2C 1Misc 1Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Belief Revision in a Probabilistic Setting.
KR
James P. Delgrande, Gerhard Lakemeyer, Maurice Pagnucco, Joshua Sack
2025 J jnl
Enriched Quantales Arising from Complete Orthomodular Lattices.
Stud Logica
Soroush Rafiee Rad, Joshua Sack, Shengyang Zhong
2022 A* conf
Epistemic Logic of Likelihood and Belief.
IJCAI
James P. Delgrande, Joshua Sack, Gerhard Lakemeyer, Maurice Pagnucco
2019 J jnl
The logic of qualitative probability.
Artif. Intell.
James P. Delgrande, Bryan Renne, Joshua Sack
2019 J jnl
The probabilistic logic of communication and change.
J. Log. Comput.
Andreea Achimescu, Alexandru Baltag, Joshua Sack
2017 J jnl
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs.
Soft Comput.
Jort Martinus Bergfeld, Joshua Sack
2016 J jnl
Logics of temporal-epistemic actions.
Synth.
Bryan Renne, Joshua Sack, Audrey Yap
2015 J jnl
Duality for the Logic of Quantum Actions.
Stud Logica
Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong
2014 — conf
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.
CMCS
Sebastian Enqvist, Joshua Sack
2014 J jnl
A Modal Logic for Mixed Strategies.
Stud Logica
Joshua Sack, Wiebe van der Hoek
2014 J jnl
Logics of Temporal-Epistemic Actions.
CoRR
Bryan Renne, Joshua Sack, Audrey Yap
2013 J jnl
Characterizations of Ideals in Intermediate C-Rings A(X) via the A-Compactifications of X.
Int. J. Math. Math. Sci.
Joshua Sack, Saleem Watson
2013 Misc conf
Compositional Reasoning for Multi-modal Logics.
LFCS
Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack
2013 C conf
Quantum Probabilistic Dyadic Second-Order Logic.
WoLLIC
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong
2012 B conf
A General Framework for Probabilistic Characterizing Formulae.
VMCAI
Joshua Sack, Lijun Zhang
2012 J jnl
Characteristic formulae for fixed-point semantics: a general framework.
Math. Struct. Comput. Sci.
Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack
2012 J jnl
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
CoRR
Simon Kramer, Joshua Sack
2012 J jnl
Refined Inversion Statistics on Permutations.
Electron. J. Comb.
Joshua Sack, Henning Úlfarsson
2011 B conf
Sigma algebras in probabilistic epistemic dynamics.
TARK
Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack
2010 J jnl
Logic for update products and steps into the past.
Ann. Pure Appl. Log.
Joshua Sack
2010 J jnl
Resource bisimilarity and graded bisimilarity coincide.
Inf. Process. Lett.
Luca Aceto, Anna Ingólfsdóttir, Joshua Sack
2009 — conf
Characteristic Formulae for Fixed-Point Semantics: A General Framework
EXPRESS
Luca Aceto, Anna Ingólfsdóttir, Joshua Sack
2009 — conf
Dynamic Epistemic Temporal Logic.
LORI
Bryan Renne, Joshua Sack, Audrey Yap
2009 J jnl
Extending probabilistic dynamic epistemic logic.
Synth.
Joshua Sack
2008 J jnl
Temporal Languages for Epistemic Programs.
J. Log. Lang. Inf.
Joshua Sack