scientific article; zbMATH DE number 3924749

MaRDI QIDQ3699665zbMATH OpenFDO

Authors Solomon Passy, Tinko Tinchev

Publication date 1985

zbMATH Keywords

completeness theoremdeductive systemsdefinabilityKripke semanticsCombinatory dynamic logicdata constantsfinitary systemfirst-order definitional extensionsinfinitary axiomatization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Recommendations

• An essay in combinatory dynamic logic
• scientific article; zbMATH DE number 4010497
• PDL with data constants
• A system of dynamic modal logic
• On the Completeness of Dynamic Logic

Cited in

(5)

• The monodic fragment of propositional term modal logic
• The Fitch-Church paradox and first order modal logic
• An essay in combinatory dynamic logic
• Hybrid languages
• Determinism and looping in combinatory PDL

This page was built for publication:

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