Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Joshua Sack
Observed names:
JOSHUA SACK,
Sack, Joshua
Institution:
California State University, Long Beach
Observed institutions:
Reykjavík University,
California State University System,
University of Luxembourg,
Indiana University,
California State University, Long Beach,
University of Amsterdam
show all 6
ORCID:
0000-0001-6031-0359
Observed ORCID:
0000-0001-6031-0359
OpenAlex ID:
A5049878715
Dynamic Epistemic Temporal Logic
2009
·
Bryan Renne
, Joshua Sack
, et al.
·
Lecture notes in computer science
·
30
Temporal Languages for Epistemic Programs
2007
·
Joshua Sack
·
Journal of Logic Language and Information
·
28
Extending probabilistic dynamic epistemic logic
2009
·
Joshua Sack
·
Synthese
·
27
The logic of qualitative probability
2019
·
James P. Delgrande
, Bryan Renne
, et al.
·
Artificial Intelligence
·
23
Logic and Probability
2013
·
Lorenz Demey
, Barteld Kooi
, et al.
·
University of Groningen research database (University of Groningen / Centre for Information Technology)
·
22
Characteristic formulae for fixed-point semantics: a general framework
2012
·
LUCA ACETO
, ANNA INGOLFSDOTTIR
, et al.
·
Mathematical Structures in Computer Science
·
20
A General Framework for Probabilistic Characterizing Formulae
2012
·
Joshua Sack
, Lijun Zhang
·
Lecture notes in computer science
·
20
Justified Belief Change
2010
·
Renne, B.
, Bucheli, Samuel
, et al.
·
BORIS (University Library Bern)
·
17
Logic for update products and steps into the past
2010
·
Joshua Sack
·
Annals of Pure and Applied Logic
·
16
PDF
Quantum Undergraduate Education and Scientific Training
2021
·
Perron, Justin K.
, DeLeone, Charles
, et al.
·
arXiv (Cornell University)
·
15
PDF
Logics of temporal-epistemic actions
2015
·
Bryan Renne
, Joshua Sack
, et al.
·
Synthese
·
15
PDF
Adding temporal logic to dynamic epistemic logic
2007
·
Lawrence S. Moss
, Joshua Sack
·
15
Resource bisimilarity and graded bisimilarity coincide
2010
·
Luca Aceto
, Anna Ingolfsdottir
, et al.
·
Information Processing Letters
·
12
PLQP & Company: Decidable Logics for Quantum Algorithms
2014
·
Alexandru Baltag
, Jort Bergfeld
, et al.
·
International Journal of Theoretical Physics
·
11
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
2015
·
Jort Martinus Bergfeld
, Joshua Sack
·
Soft Computing
·
10
PDF
Epistemic Probabilistic Logic
2015
·
Lorenz Demey
, Joshua Sack
·
Lirias
·
10
$P$-spaces and intermediate rings of continuous functions
2017
·
Will Murray
, Joshua Sack
, et al.
·
Rocky Mountain Journal of Mathematics
·
9
PDF
Quantum Probabilistic Dyadic Second-Order Logic
2013
·
Alexandru Baltag
, Jort M. Bergfeld
, et al.
·
Lecture notes in computer science
·
9
Ideals in rings and intermediate rings of measurable functions
2019
·
Sudip Kumar Acharyya
, Sagarmoy Bag
, et al.
·
Journal of Algebra and Its Applications
·
8
PDF
Characteristic Formulae for Fixed-Point Semantics: A General Framework
2009
·
Luca Aceto
, Anna Ingolfsdottir
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
8
PDF
The probabilistic logic of communication and change
2016
·
Andreea Achimescu
, Alexandru Baltag
, et al.
·
Journal of Logic and Computation
·
7
Duality for the Logic of Quantum Actions
2014
·
Jort M. Bergfeld
, Kohei Kishida
, et al.
·
Studia Logica
·
7
C and C* among intermediate rings
2014
·
Joshua Sack
, Stephen Watson
·
UvA-DARE (University of Amsterdam)
·
7
Recent progress in rings and subrings of real valued measurable functions
2019
·
Soumyadip Acharyya
, Soumyadip Acharyya
, et al.
·
Quaestiones Mathematicae
·
6
PDF
Refined Inversion Statistics on Permutations
2012
·
Joshua Sack
, Henning Úlfarsson
·
The Electronic Journal of Combinatorics
·
6
PDF
Show more works
View as search
Works count:
54
Citation count:
385
H-index:
12
I10-index:
16
Year
Topic
Type
