scientific article

zbMath0976.03037MaRDI QIDQ2711323

Philippe Balbiani, Dimiter Vakarelov

Publication date: 7 November 2001

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

zbMATH Keywords

maximal programsproof theoryKripke semanticsmodal rules for intersectionpropositional dynamic logic with intersection

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items

Dynamic extensions of arrow logic, Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms, Unnamed Item, Axiomatization and computability of a variant of iteration-free PDL with fork, Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations, Three-Valued Logic for Reasoning about Covering-Based Rough Sets