SLAP: Specification logic of actions with probability

, &
Journal of Applied Logic 12 (2):128-150 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2013.09.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Gerhard Lakemeyer, Steps Towards a First-Order Logic of Explicit and Implicit Belief. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668-668.
Gerhard Lakemeyer. Steps towards a first-order logic of explicit and implicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 325–340. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668.
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.Gemma Robles & José M. Méndez - 2014 - Journal of Applied Non-Classical Logics 24 (4):321-332.
Combining Probability and Logic.Fabio Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory Wheeler & Jon Williamson - 2009 - Journal of Applied Logic 7 (2):131-135.
Probability and logic.Colin Howson - 2003 - Journal of Applied Logic 1 (3-4):151-165.
Special issue: Combining probability and logic.Jürgen Landes & Jon Williamson - 2016 - Journal of Applied Logic 14:1-2.
Special issue on Automated Specification and Verification of Web Systems.Laura Kovács & Temur Kutsia - 2012 - Journal of Applied Logic 10 (1):1.
Precise specification matching for adaptive reuse in embedded systems.Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan & I. V. Ramakrishnan - 2007 - Journal of Applied Logic 5 (2):333-355.
Special issue on Combining Probability and Logic.Jon Williamson & Dov Gabbay - 2003 - Journal of Applied Logic 1 (3-4):135-138.
Can logic be combined with probability? Probably.Colin Howson - 2009 - Journal of Applied Logic 7 (2):177-187.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,345,183)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.

Add more references