The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joshua Sack" ( http://dblp.L3S.de/Authors/Joshua_Sack )

  Author page on DBLP  Author page in RDF  Community of Joshua Sack in ASPL-2

Publication years (Num. hits)
2008-2014 (17) 2015-2019 (4)
Publication types (Num. hits)
article(14) inproceedings(7)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1James P. Delgrande, Bryan Renne, Joshua Sack The logic of qualitative probability. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jort Martinus Bergfeld, Joshua Sack Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. Search on Bibsonomy Soft Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bryan Renne, Joshua Sack, Audrey Yap Logics of temporal-epistemic actions. Search on Bibsonomy Synthese The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong Duality for the Logic of Quantum Actions. Search on Bibsonomy Studia Logica The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joshua Sack, Wiebe van der Hoek A Modal Logic for Mixed Strategies. Search on Bibsonomy Studia Logica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bryan Renne, Joshua Sack, Audrey Yap Logics of Temporal-Epistemic Actions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sebastian Enqvist, Joshua Sack A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics. Search on Bibsonomy CMCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joshua Sack, Saleem Watson Characterizations of Ideals in Intermediate C-Rings A(X) via the A-Compactifications of X. Search on Bibsonomy Int. J. Math. Mathematical Sciences The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong Quantum Probabilistic Dyadic Second-Order Logic. Search on Bibsonomy WoLLIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack Compositional Reasoning for Multi-modal Logics. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joshua Sack, Henning Úlfarsson Refined Inversion Statistics on Permutations. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2012 DBLP  BibTeX  RDF
1Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack Characteristic formulae for fixed-point semantics: a general framework. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Simon Kramer 0001, Joshua Sack Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Joshua Sack, Lijun Zhang 0001 A General Framework for Probabilistic Characterizing Formulae. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack Sigma algebras in probabilistic epistemic dynamics. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Anna Ingólfsdóttir, Joshua Sack Resource bisimilarity and graded bisimilarity coincide. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joshua Sack Logic for update products and steps into the past. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joshua Sack Extending probabilistic dynamic epistemic logic. Search on Bibsonomy Synthese The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Anna Ingólfsdóttir, Joshua Sack Characteristic Formulae for Fixed-Point Semantics: A General Framework Search on Bibsonomy EXPRESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bryan Renne, Joshua Sack, Audrey Yap Dynamic Epistemic Temporal Logic. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joshua Sack Temporal Languages for Epistemic Programs. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Public announcement logic, Games, Temporal logic, Modal logic, Epistemic logic, Dynamic epistemic logic
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license