Joshua Sack

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 5

Top Topics

Situation Calculus

Inference Rules

Acyclic Database Schemes

Top Venues

Publications

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