On the public citation graph

Axiomatising the Logic of Computer Programming

https://doi.org/10.1007/bfb0022481
0 signed · 77 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/ijhc.1998.0210openalex-snapshot
Inverse verification of problem-solving methods
inferred← citeshttps://doi.org/10.1007/3-540-16066-3_30openalex-snapshot
Propositional dynamic logics with counters and stacks
inferred← citeshttps://doi.org/10.1007/3-540-16780-3_99openalex-snapshot
An interactive verification system based on dynamic logic
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_23openalex-snapshot
KIV 3.0 for Provably Correct Systems
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_26openalex-snapshot
VSE: Controlling the Complexity in Formal Software Developments
inferred← citeshttps://doi.org/10.1007/3-540-50214-9_23openalex-snapshot
Proof rules for VDM statements
inferred← citeshttps://doi.org/10.1007/3-540-50241-6_32openalex-snapshot
Program verification using dynamic logic
inferred← citeshttps://doi.org/10.1007/3-540-51237-3_12openalex-snapshot
A dynamic logic for program verification
inferred← citeshttps://doi.org/10.1007/3-540-52885-7_83openalex-snapshot
Tactical theorem proving in program verification
inferred← citeshttps://doi.org/10.1007/3-540-55602-8_218openalex-snapshot
The KIV system: Systematic construction of verified software
inferred← citeshttps://doi.org/10.1007/3-540-57182-5_62openalex-snapshot
A calculus for higher order procedures with global variables
inferred← citeshttps://doi.org/10.1007/3-540-58140-5_34openalex-snapshot
A logic of capabilities
inferred← citeshttps://doi.org/10.1007/3-540-60406-5_20openalex-snapshot
Tool support for formal software development: A generic architecture
inferred← citeshttps://doi.org/10.1007/3-540-63104-6_10openalex-snapshot
Proving System Correctness with KIV 3.0
inferred← citeshttps://doi.org/10.1007/978-1-4471-3054-3_14openalex-snapshot
Six Steps Towards Provably Safe Software
inferred← citeshttps://doi.org/10.1007/978-3-030-65840-3_17openalex-snapshot
Arbitrary Propositional Network Announcement Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-08166-8_20openalex-snapshot
Software & System Verification with KIV
inferred← citeshttps://doi.org/10.1007/978-3-031-40875-5_2openalex-snapshot
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail
inferred← citeshttps://doi.org/10.1007/978-3-031-45558-2_7openalex-snapshot
Unknown Truths and Unknowable Truths
inferred← citeshttps://doi.org/10.1007/978-3-031-92196-4_4openalex-snapshot
The Many Uses of Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-09719-0_13openalex-snapshot
The Countable Henkin Principle
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_27openalex-snapshot
Verification Support Environment
inferred← citeshttps://doi.org/10.1007/978-3-540-76550-9_6openalex-snapshot
Die 80er Jahre
inferred← citeshttps://doi.org/10.1007/978-3-642-75100-4_39openalex-snapshot
Machine-Assisted Program Construction and Modification
inferred← citeshttps://doi.org/10.1007/978-3-662-55665-8_16openalex-snapshot
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
inferred← citeshttps://doi.org/10.1007/978-3-662-60292-8_8openalex-snapshot
Group Announcement Logic with Distributed Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-663-14621-6_11openalex-snapshot
Literatur
inferred← citeshttps://doi.org/10.1007/978-94-007-7046-1_9openalex-snapshot
Equivalent Beliefs in Dynamic Doxastic Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-9204-8_7openalex-snapshot
An Integrated Modal Approach to Rational Agents
inferred← citeshttps://doi.org/10.1007/978-94-017-0435-9_1openalex-snapshot
Structured Specifications and Interactive Proofs with KIV
inferred← citeshttps://doi.org/10.1007/978-94-017-0437-3_7openalex-snapshot
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
inferred← citeshttps://doi.org/10.1007/978-94-017-0456-4_2openalex-snapshot
Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-1741-0_10openalex-snapshot
Formalising Abilities and Opportunities of Agents
inferred← citeshttps://doi.org/10.1007/bf00370341openalex-snapshot
The semantics of Hoare's Iteration Rule
inferred← citeshttps://doi.org/10.1007/bf00370641openalex-snapshot
Infinitary propositional normal modal logic
inferred← citeshttps://doi.org/10.1007/bf01028968openalex-snapshot
Getting started: Beginnings in the logic of action
inferred← citeshttps://doi.org/10.1007/bf01048686openalex-snapshot
A model existence theorem in infinitary propositional modal logic
inferred← citeshttps://doi.org/10.1007/bf01053245openalex-snapshot
A dynamic logic of action
inferred← citeshttps://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
inferred← citeshttps://doi.org/10.1007/bfb0012828openalex-snapshot
Implementing verification strategies in the KIV-system
inferred← citeshttps://doi.org/10.1007/bfb0023431openalex-snapshot
Transition systems and dynamic semantics
inferred← citeshttps://doi.org/10.1007/bfb0023893openalex-snapshot
Correctness of generic modules
inferred← citeshttps://doi.org/10.1007/s100099900022openalex-snapshot
VSE: formal methods meet industrial needs
inferred← citeshttps://doi.org/10.1007/s10849-007-9051-4openalex-snapshot
Strong Completeness and Limited Canonicity for PDL
inferred← citeshttps://doi.org/10.1007/s10849-022-09355-0openalex-snapshot
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
inferred← citeshttps://doi.org/10.1007/s11225-010-9269-zopenalex-snapshot
Monadic Bounded Algebras
inferred← citeshttps://doi.org/10.1007/s11225-024-10119-zopenalex-snapshot
Topic-Based Communication Between Agents
inferred← citeshttps://doi.org/10.1007/s11229-017-1592-8openalex-snapshot
Announcement as effort on topological spaces
inferred← citeshttps://doi.org/10.1016/0167-6423(92)90035-aopenalex-snapshot
Formalizing and implementing Gries' program development method in dynamic logic
inferred← citeshttps://doi.org/10.1016/0890-5401(90)90045-jopenalex-snapshot
Semantical analysis of specification logic
inferred← citeshttps://doi.org/10.1016/b978-0-08-034801-8.50028-3openalex-snapshot
Engineering Software Safety
inferred← citeshttps://doi.org/10.1016/j.apal.2003.11.007openalex-snapshot
Dynamic extensions of arrow logic
inferred← citeshttps://doi.org/10.1016/j.artint.2012.04.007openalex-snapshot
Local properties in modal logic
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.11.028openalex-snapshot
A Hybridization of Irreflexive Modal Logics
inferred← citeshttps://doi.org/10.1016/j.ic.2023.105026openalex-snapshot
To be announced
inferred← citeshttps://doi.org/10.1016/j.jal.2008.12.002openalex-snapshot
Group announcement logic
inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80051-0openalex-snapshot
Accepting failure in dynamic logic
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80033-6openalex-snapshot
The gamut of dynamic logics
inferred← citeshttps://doi.org/10.1017/s1755020308080210openalex-snapshot
‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
inferred← citeshttps://doi.org/10.1080/095281300454847openalex-snapshot
A case study in the mechanical verification of fault tolerance
inferred← citeshttps://doi.org/10.1080/11663081.2016.1184931openalex-snapshot
Propositional quantification in logics of contingency
inferred← citeshttps://doi.org/10.1093/logcom/exac012openalex-snapshot
Almost APAL
inferred← citeshttps://doi.org/10.1093/logcom/exn092openalex-snapshot
Deduction Systems for Coalgebras Over Measurable Spaces
inferred← citeshttps://doi.org/10.1093/logcom/exz007openalex-snapshot
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
inferred← citeshttps://doi.org/10.1145/131214.131224openalex-snapshot
Automatic program generation using sequent calculus
inferred← citeshttps://doi.org/10.1145/1324249.1324259openalex-snapshot
What can we achieve by arbitrary announcements?
inferred← citeshttps://doi.org/10.12775/llp.2021.018openalex-snapshot
Logics for Knowability
inferred← citeshttps://doi.org/10.18725/oparu-6openalex-snapshot
Verifikation abstrakter Zustandsmaschinen
inferred← citeshttps://doi.org/10.2298/ns20101213kupusinacopenalex-snapshot
Analyses of characteristics of dynamic postconditions in Hoare triplets
inferred← citeshttps://doi.org/10.29092/uacm.v20i53.1039openalex-snapshot
Bibliografía sobre: Lógicas no clásicas. Fundamentación, aplicaciones y permanencia
inferred← citeshttps://doi.org/10.3233/fun-2001-45302openalex-snapshot
Iteration-free PDL with Intersection: a Complete Axiomatization
inferred← citeshttps://doi.org/10.4204/eptcs.215.20openalex-snapshot
Announcement as effort on topological spaces
inferred← citeshttps://doi.org/10.4204/eptcs.251.15openalex-snapshot
Coalition and Group Announcement Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1109.2222openalex-snapshot
Side Effects in Steering Fragments
inferred← citeshttps://doi.org/10.48550/arxiv.2107.08253openalex-snapshot
A proof theoretic basis for relational semantics
inferred← citeshttps://doi.org/10.5555/1402298.1402318openalex-snapshot
Coalitions and announcements
inferred← citeshttps://doi.org/10.65109/oxdr4385openalex-snapshot
Quantified Announcements and Common Knowledge
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.