Symmetric blocking

DOI10.1016/j.tcs.2015.06.020zbMath1332.68200MaRDI QIDQ897931

Ezequiel Orbe, Carlos Areces

Publication date: 8 December 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.06.020

zbMATH Keywords

symmetry; evaluation; blocking; detection; modal logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B35: Mechanization of proofs and logical operations

Related Items

SYMMETRIES IN MODAL LOGICS

Uses Software

• TPTP
• QBFLIB
• FaCT++
• Spartacus
• HTab
• bliss
• HGen

Cites Work

• Short proofs for tricky formulas
• Isomorphism of graphs of bounded valence can be tested in polynomial time
• Tractability through symmetries in propositional calculus
• A benchmark method for the propositional modal logics K, KT, S4
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Dealing with Symmetries in Modal Tableaux
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Optimizing description logic subsumption
• HTab: a Terminating Tableaux System for Hybrid Logic
• Hybrid Tableaux for the Difference Modality
• Exploiting Symmetry in SMT Problems
• Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs
• SYMMETRIES IN MODAL LOGICS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item