This is a file from the Justapedia Commons

File:Dynamic logic proof.png

From Justapedia, unleashing the power of collective wisdom
Jump to navigation Jump to search

Original file ‎(9,878 × 1,221 pixels, file size: 424 KB, MIME type: image/png)

Description
English: Example of a proof tree in deductive verification of dynamic logic properties.
Date
Source Own work
Author Danielbruns
Permission
(Reusing this file)
w:en:Creative Commons
attribution
This file is licensed under the Creative Commons Attribution 3.0 Germany license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

inception

29 July 2010

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current16:15, 29 July 2010Thumbnail for version as of 16:15, 29 July 20109,878 × 1,221 (424 KB)wikimediacommons>Danielbruns< 12.5 Mpixels
No pages on the Justapedia use this file (pages on other projects are not listed).
Retrieved from "https://justapedia.org/wiki/File:Dynamic_logic_proof.png"