Joshua Sack

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
c5		Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack: Compositional Reasoning for Multi-modal Logics. LFCS 2013: 1-15
	2012
j5		Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack: Characteristic formulae for fixed-point semantics: a general framework. Mathematical Structures in Computer Science 22(2): 125-173 (2012)
c4		Joshua Sack, Lijun Zhang: A General Framework for Probabilistic Characterizing Formulae. VMCAI 2012: 396-411
i1		Simon Kramer, Joshua Sack: Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief). CoRR abs/1209.1885 (2012)
	2011
c3		Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack: Sigma algebras in probabilistic epistemic dynamics. TARK 2011: 191-199
	2010
j4		Joshua Sack: Logic for update products and steps into the past. Ann. Pure Appl. Logic 161(12): 1431-1461 (2010)
j3		Luca Aceto, Anna Ingólfsdóttir, Joshua Sack: Resource bisimilarity and graded bisimilarity coincide. Inf. Process. Lett. 111(2): 68-76 (2010)
	2009
j2		Joshua Sack: Extending probabilistic dynamic epistemic logic. Synthese 169(2): 241-257 (2009)
c2		Bryan Renne, Joshua Sack, Audrey Yap: Dynamic Epistemic Temporal Logic. LORI 2009: 263-277
c1		Luca Aceto, Anna Ingólfsdóttir, Joshua Sack: Characteristic Formulae for Fixed-Point Semantics: A General Framework. EXPRESS 2009: 1-15
	2008
j1		Joshua Sack: Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information 17(2): 183-216 (2008)

Coauthor Index

Last update Sat May 25 12:45:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page