Goal-directed semantics for dynamic logic

DOI10.21146/2074-1472-2025-31-2-52-72MaRDI QIDQ6865994zbMATH OpenFDO

Authors Vladimir Ivanovich Shalak

Publication date 30 January 2026

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.21146/2074-1472-2025-31-2-52-72

zbMATH Keywords

algorithmdynamic logicgoalgoal-directed behaviorsemantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• Computers Ltd. What they really can't do
• scientific article; zbMATH DE number 3202581 (Why is no real title available?)
• Анализ vs дедукция

This page was built for publication: Goal-directed semantics for dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6865994)