scientific article; zbMATH DE number 3979045

MaRDI QIDQ3744151zbMATH OpenFDO

Authors Slavian Radev

Publication date 1985

zbMATH Keywords

monotonicitypropositional dynamic logicinfinitary logiclogical consequence relationsdeduction methodscountable Kripke structuresextension of PDL with propositional constants and infinite conjunctions and disjunctionsHilbert style axiomatizationnonmonotonic deduction algorithm

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic in computer science (03B70)

Recommendations

• PDL with data constants
• From positive PDL to its non-classical extensions
• PDL with negation of atomic programs
• Automated Reasoning
• The propositional dynamic logic of deterministic, well-structured programs

Cited in

(4)

• scientific article; zbMATH DE number 2038898 (Why is no real title available?)
• An essay in combinatory dynamic logic
• Pivotal and Pivotal-discriminative Consequence Relations
• scientific article; zbMATH DE number 2038897 (Why is no real title available?)

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 Q3744151)