Symmetric blocking
From MaRDI portal
Publication:897931
DOI10.1016/J.TCS.2015.06.020zbMATH Open1332.68200OpenAlexW4233754701MaRDI QIDQ897931FDOQ897931
Authors: Carlos Areces, Ezequiel Orbe
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
Recommendations
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Cites Work
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- HTab: a terminating tableaux system for hybrid logic
- Modal logic
- Handbook of modal logic
- Isomorphism of graphs of bounded valence can be tested in polynomial time
- Tableau methods for modal and temporal logics
- Engineering an efficient canonical labeling tool for large and sparse graphs
- Title not available (Why is that?)
- Optimizing description logic subsumption
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- Short proofs for tricky formulas
- Title not available (Why is that?)
- Hybrid tableaux for the difference modality
- Tractability through symmetries in propositional calculus
- A benchmark method for the propositional modal logics K, KT, S4
- Title not available (Why is that?)
- Dealing with Symmetries in Modal Tableaux
- Exploiting symmetry in SMT problems
- Symmetries in modal logics
Cited In (3)
Uses Software
This page was built for publication: Symmetric blocking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897931)