Search results
From MaRDI portal
- bottom-up model generation methods 2020-03-03 Paper Model elimination without contrapositives 2020-01-21 Paper Hyper tableaux 2019-10-08 Paper Tableaux for diagnosis...10 bytes (16 words) - 17:45, 7 December 2023
- selection 2020-03-10 Paper Model elimination without contrapositives 2020-01-21 Paper Hyper tableaux 2019-10-08 Paper Tableaux for diagnosis applications...10 bytes (17 words) - 10:27, 13 December 2023
- Automated Reasoning with Analytic Tableaux and Related Methods 2010-03-09 Paper Automated Reasoning with Analytic Tableaux and Related Methods 2010-03-09...10 bytes (16 words) - 17:38, 9 December 2023
- an overview 2009-03-17 Paper Cut Elimination for First Order Gödel Logic by Hyperclause Resolution 2009-01-27 Paper Model Representation over Finite and...10 bytes (19 words) - 16:48, 12 December 2023
- Publication Type Subgoal alternation in model elimination 2019-01-15 Paper Proof and Model Generation with Disconnection Tableaux 2011-05-06 Paper Automated Reasoning...10 bytes (16 words) - 12:28, 6 October 2023
- Paper N-PAT: A Nested Model-Checker 2022-11-09 Paper https://portal.mardi4nfdi.de/entity/Q5104710 2022-09-15 Paper CEGAR-tableaux: improved modal satisfiability...10 bytes (17 words) - 09:58, 25 September 2023
- fragment of classical FOL 2017-03-30 Paper ON FLATTENING ELIMINATION RULES 2015-01-21 Paper Model-theoretic characterization of intuitionistic predicate...10 bytes (18 words) - 04:52, 12 December 2023
- efficient approach to nominal equalities in hybrid logic tableaux 2012-07-17 Paper A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae...10 bytes (16 words) - 09:58, 25 September 2023
- constraints 2010-09-15 Paper Model checking memoryful linear-time logics over one-counter automata 2010-05-27 Paper When Model-Checking Freeze LTL over Counter...10 bytes (18 words) - 07:38, 9 December 2023
- applications to equational matings 1990-01-01 Paper A sequent-style model elimination strategy and a positive refinement 1990-01-01 Paper A Heuristic Algorithm...10 bytes (19 words) - 14:32, 8 December 2023
- Provided You’re not Trivial: Adding Defaults and Paraconsistency to a Formal Model of Explanation 2020-08-06 Paper A Quantitative-Informational Approach to...10 bytes (21 words) - 20:29, 8 December 2023
- processes: a model-theoretic approach 2020-12-08 Paper From model completeness to verification of data aware processes 2020-06-04 Paper Model completeness...10 bytes (17 words) - 18:46, 6 October 2023
- de/entity/Q6060101 2023-11-02 Paper Tableaux for realizability of safety specifications 2023-08-17 Paper Tableaux and sequent calculi for \textsf{CTL}...10 bytes (16 words) - 13:01, 11 December 2023
- reactive modal tableaux 2013-02-18 Paper Causal dynamic inference 2013-02-18 Paper Overview on the connection between reactive Kripke models and argumentation...10 bytes (19 words) - 02:43, 9 December 2023
- coalgebra 2011-06-10 Paper Generic Modal Cut Elimination Applied to Conditional Logics 2011-05-26 Paper Optimal Tableaux for Conditional Logics with Cautious Monotonicity...10 bytes (16 words) - 19:52, 6 October 2023
- proving 2011-04-16 Paper On the non-confluence of cut-elimination 2011-03-18 Paper Methods of cut-elimination 2010-11-30 Paper A Resolution Mechanism for Prenex...10 bytes (17 words) - 19:05, 24 September 2023
- 2021-12-01 Paper Craig interpolation with clausal first-order tableaux 2021-11-23 Paper Modeling the suppression task under weak completion and well-founded...10 bytes (16 words) - 07:02, 7 October 2023
- 2023-03-30 Paper https://portal.mardi4nfdi.de/entity/Q5884949 2023-03-24 Paper MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS...10 bytes (17 words) - 06:31, 7 October 2023
- 2011-06-17 Paper Clause Elimination Procedures for CNF Formulas 2010-10-12 Paper Reconstructing Solutions after Blocked Clause Elimination 2010-09-29 Paper Testing...10 bytes (17 words) - 14:05, 7 October 2023
- Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination 2013-11-28 Paper How an agent might think 2013-06-11 Paper Converse-PDL...10 bytes (17 words) - 21:34, 12 December 2023
