Search results
From MaRDI portal
- Paper Quantum logic as partial infinite-valued Łukasiewicz logic 1996-06-19 Paper Fuzzy quantum logics and infinite-valued Łukasiewicz logic 1995-08-27 Paper...10 bytes (16 words) - 02:50, 12 December 2023
- Date of Publication Type An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability 2023-12-12...10 bytes (16 words) - 08:20, 7 October 2023
- second-order logic 2007-05-29 Paper Vertex-minors, monadic second-order logic, and a conjecture by Seese 2007-01-11 Paper Computer Science Logic 2006-11-01...10 bytes (17 words) - 10:24, 8 December 2023
- Temporal Logic for Real Time 2007-09-05 Paper A logic of reachable patterns in linked data-structures 2007-08-23 Paper On decidability of monadic logic of order...10 bytes (16 words) - 00:32, 10 December 2023
- Axiomatizations in Godel Propositional Logic 2011-11-10 Paper An analysis of Ruspini partitions in Gödel logic 2010-04-07 Paper Open Partitions and Probability...10 bytes (18 words) - 14:32, 28 January 2024
- A sequent calculus for a logic of contingencies 2014-04-17 Paper The modal logic of cluster-decomposable Kripke interpretations 2008-04-29 Paper Extensions...10 bytes (16 words) - 20:04, 24 September 2023
- 2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23 Paper Logic for Programming...10 bytes (19 words) - 03:58, 12 December 2023
- Paper Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic 2020-07-31 Paper On the accurate simulation...10 bytes (17 words) - 13:41, 13 December 2023
- Publication Date of Publication Type Quantum logic in the context of the mathematical foundation of quantum mechanics 2024-01-23 Paper Логика как эмпирическая...10 bytes (17 words) - 19:41, 12 December 2023
- Tree inclusions in windows and slices 2010-01-15 Paper Inf-datalog, Modal Logic and Complexities 2008-12-22 Paper Tree inclusion problems 2008-07-21 Paper...10 bytes (16 words) - 18:34, 9 December 2023
- Part I” 2017-05-18 Paper On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems 2014-05-14 Paper...10 bytes (16 words) - 06:35, 7 October 2023
- programs 1994-06-02 Paper Abstract Interpretation Frameworks 1993-06-29 Paper Abstract interpretation and application to logic programs 1992-09-27 Paper A language...10 bytes (16 words) - 15:03, 12 December 2023
- Comparison of abstract interpretations 2019-12-04 Paper Efficient analysis of concurrent constraint logic programs 2019-03-29 Paper Logic Programming 2009-08-06...10 bytes (17 words) - 10:09, 24 September 2023
- 2011-06-21 Paper Underspecified Interpretations in a Curry-typed Representation Language 2005-07-13 Paper An Expressive First-Order Logic with Flexible Typing for...10 bytes (17 words) - 06:35, 7 October 2023
- Verification Methods for Logic Programs 2013-06-06 Paper Logic programs as specifications in the inductive verification of logic programs 2013-05-24 Paper...10 bytes (16 words) - 06:07, 13 December 2023
- Publication Type The logic languages of the TPTP world 2024-02-20 Paper Solving modal logic problems by translation to higher-order logic 2024-01-16 Paper...10 bytes (16 words) - 17:52, 9 December 2023
- termination of general Prolog programs 2022-08-16 Paper Verification of logic programs with delay declarations 2022-08-16 Paper Coordination Games on Weighted...10 bytes (19 words) - 00:04, 12 December 2023
- of Publication Type MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS 2023-02-27 Paper NNIL-formulas revisited: Universal models...10 bytes (16 words) - 04:01, 7 October 2023
- Paper Relational Differential Dynamic Logic 2022-10-13 Paper Architecture-guided test resource allocation via logic 2022-03-21 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 18:37, 24 September 2023
- 2017-05-17 Paper A stochastic interpretation of game logic 2017-03-20 Paper Towards a Probabilistic Interpretation of Game Logic 2016-01-08 Paper Special Topics...10 bytes (19 words) - 20:23, 11 December 2023
