scientific article; zbMATH DE number 3924749

zbMATH Open0578.03006MaRDI QIDQ3699665FDOQ3699665

Authors: Solomon Passy, Tinko Tinchev 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

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)