Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.
Sewon ParkFranz BraußePieter CollinsSunYoung KimMichal KonecnýGyesik LeeNorbert Th. MüllerEike NeumannNorbert PreiningMartin ZieglerPublished in: Log. Methods Comput. Sci. (2024)
Keyphrases
- logic programming
- proof theory
- formal language
- sound and complete axiomatization
- nonmonotonic logics
- operational semantics
- asynchronous circuits
- active rules
- multi valued
- computational properties
- modal logic
- propositional dynamic logic
- classical logic
- proof theoretic
- automated reasoning
- dynamic logic
- conditional logic
- logical rules
- alternating time temporal logic
- specification languages
- rewrite systems
- high level
- model theoretic
- logical framework
- specification language
- formal semantics
- default reasoning
- modal operators
- state machine
- predicate logic
- rule engine
- intuitionistic logic
- conceptual model
- semantic information
- logic programs