Minimal Proof Search for Modal Logic K Model Checking

DOI10.1007/978-3-642-33353-8_27zbMath1361.68151arXiv1207.1832OpenAlexW1648829127MaRDI QIDQ2915084

Abdallah Saffidine

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.1832

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• MCMAS

Cites Work

• Depth-first iterative-deepening: An optimal admissible tree search
• Tableau-based model checking in the propositional mu-calculus
• Proof-number search
• Model checking propositional dynamic logic with all extras
• Multiagent Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimal Proof Search for Modal Logic K Model Checking