|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joshua Sack, Lijun Zhang |
A General Framework for Probabilistic Characterizing Formulae.  |
VMCAI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack |
Sigma algebras in probabilistic epistemic dynamics. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Joshua Sack |
Resource bisimilarity and graded bisimilarity coincide. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sack |
Logic for update products and steps into the past. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Joshua Sack |
Characteristic Formulae for Fixed-Point Semantics: A General Framework |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sack |
Extending probabilistic dynamic epistemic logic. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bryan Renne, Joshua Sack, Audrey Yap |
Dynamic Epistemic Temporal Logic. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sack |
Temporal Languages for Epistemic Programs. |
Journal of Logic, Language and Information |
2008 |
DBLP DOI BibTeX RDF |
Public announcement logic, Games, Temporal logic, Modal logic, Epistemic logic, Dynamic epistemic logic |
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")