File:Dynamic logic proof.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

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
current12:15, 29 July 2010Thumbnail for version as of 12:15, 29 July 20109,878 × 1,221 (424 KB)Danielbruns< 12.5 Mpixels
12:12, 29 July 2010Thumbnail for version as of 12:12, 29 July 201011,792 × 1,552 (536 KB)Danielbruns{{Information |Description={{en|1=Example of a proof tree in deductive verification of dynamic logic properties.}} |Source={{own}} |Author=Danielbruns |Date=2010-07-29 |Permission={{cc-by-3.0-de}} |other_versions= }}
The following pages on the English Wikipedia use this file (pages on other projects are not listed):

Global file usage

The following other wikis use this file:

Retrieved from "https://en.wikipedia.org/wiki/File:Dynamic_logic_proof.png"