Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (Q5747763): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3740223 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combining deduction and model checking into tableaux and algorithms for converse-PDL. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: KI 2003: Advances in Artificial Intelligence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automata-theoretic techniques for modal logics of programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sound Global State Caching for ALC with Inverse Roles / rank | |||
Normal rank |
Latest revision as of 05:42, 3 July 2024
scientific article; zbMATH DE number 5785451
Language | Label | Description | Also known as |
---|---|---|---|
English | Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse |
scientific article; zbMATH DE number 5785451 |
Statements
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (English)
0 references
14 September 2010
0 references