Computing minimal models modulo subset-simulation for modal logics

DOI10.1007/978-3-642-40885-4_20MaRDI QIDQ2849495zbMATH OpenOpenAlexFDO

Authors Fabio Papacchini, Renate A. Schmidt

Publication date 20 September 2013

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40885-4_20

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• A tableau calculus for minimal modal model generation
• Terminating minimal model generation procedures for propositional modal logics
• A tableau calculus for minimal model reasoning
• On computing minimal models
• On Minimal Models

Cited in

(9)

• An assumption-based approach for solving the minimal S5-satisfiability problem
• Blocking and other enhancements for bottom-up model generation methods
• scientific article; zbMATH DE number 1614696 (Why is no real title available?)
• A tableau calculus for minimal modal model generation
• Minimal Proof Search for Modal Logic K Model Checking
• An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
• Terminating minimal model generation procedures for propositional modal logics
• Minimal models vs. logic programming: the case of counterfactual conditionals
• scientific article; zbMATH DE number 1884382 (Why is no real title available?)

This page was built for publication: Computing minimal models modulo subset-simulation for modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849495)