- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
SLAP: Specification logic of actions with probability
Journal of Applied Logic 12 (2):128-150 (2014)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
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.
Special issue on Automated Specification and Verification of Web Systems.Laura Kovács & Temur Kutsia - 2012 - Journal of Applied Logic 10 (1):1.
Thomas Andreas Meyer, Willem Adrian Labuschagne, and Johannes heidema/refined espistemic entrenchment 237-259.Johan van Benthem, Alice ter Meulen & Heinrich Wansing - 1992 - Journal of Logic, Language, and Information 9 (2):139.
Can logic be combined with probability? Probably.Colin Howson - 2009 - Journal of Applied Logic 7 (2):177-187.
Special issue on Combining Probability and Logic.Jon Williamson & Dov Gabbay - 2003 - Journal of Applied Logic 1 (3-4):135-138.
Special issue: Combining probability and logic.Jürgen Landes & Jon Williamson - 2016 - Journal of Applied Logic 14 (C):1-2.
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.
Using temporal logics of knowledge for specification and verification—a case study.Clare Dixon - 2006 - Journal of Applied Logic 4 (1):50-78.
Analytics
Added to PP
2016-06-30
Downloads
35 (#1,484,430)
6 months
3 (#1,865,240)
2016-06-30
Downloads
35 (#1,484,430)
6 months
3 (#1,865,240)
Historical graph of downloads
Citations of this work
Compensatory Preliminary Damages: Access to Justice as Corrective Justice.Sayid Bnefsi - 2024 - CUNY Law Review 27 (1):70-116.
References found in this work
Reasoning about noisy sensors and effectors in the situation calculus.Fahiem Bacchus, Joseph Y. Halpern & Hector J. Levesque - 1999 - Artificial Intelligence 111 (1-2):171-208.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation