Pages that link to "Item:Q2711323"
From MaRDI portal
The following pages link to Iteration-free PDL with intersection: A complete axiomatization (Q2711323):
Displaying 10 items.
- Dynamic extensions of arrow logic (Q598299) (← links)
- Strong completeness and limited canonicity for PDL (Q1006490) (← links)
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization (Q4612423) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- (Q5015273) (← links)
- Three-Valued Logic for Reasoning about Covering-Based Rough Sets (Q5245184) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
- About the complete axiomatization of dynamic extensions of arrow logic (Q6599619) (← links)