scientific article
From MaRDI portal
Publication:2711323
zbMath0976.03037MaRDI QIDQ2711323
Philippe Balbiani, Dimiter Vakarelov
Publication date: 7 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
maximal programsproof theoryKripke semanticsmodal rules for intersectionpropositional dynamic logic with intersection
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