scientific article

zbMath0578.03006MaRDI QIDQ3699665

Tinko Tinchev, Solomon Passy

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness theoremKripke semanticsdefinabilitydeductive systemsCombinatory 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) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

Related Items (5)

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

This page was built for publication: