Search results
From MaRDI portal
- Publication Type Decidable fragments of many-sorted logic 2009-12-03 Paper Decidable Fragments of Many-Sorted Logic 2008-05-15 Paper...10 bytes (16 words) - 14:16, 28 January 2024
- Multi-modal logic programming using equational and order-sorted logic 2022-08-16 Paper Multimodal logic programming using equational and order-sorted logic 1993-01-16...10 bytes (16 words) - 13:15, 24 September 2023
- Multi-modal logic programming using equational and order-sorted logic 2022-08-16 Paper Multimodal logic programming using equational and order-sorted logic 1993-01-16...10 bytes (16 words) - 13:15, 24 September 2023
- Publication Date of Publication Type Multi-modal logic programming using equational and order-sorted logic 2022-08-16 Paper https://portal.mardi4nfdi.de/entity/Q4266525...10 bytes (16 words) - 02:01, 7 October 2023
- of Publication Type Polymorphic Contracts 2011-05-19 Paper Dependently Sorted Logic 2008-06-03 Paper...10 bytes (18 words) - 12:46, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4691922 2018-10-24 Paper Multi-sorted logic, models, and logical geometry. 2016-05-31 Paper...10 bytes (16 words) - 06:57, 7 October 2023
- The rewriting logic semantics project 2007-04-19 Paper Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality...10 bytes (17 words) - 11:55, 11 December 2023
- Modal Logic 2020-11-16 Paper Operational semantics and program verification using many-sorted hybrid modal logic 2020-05-14 Paper A General View on Normal...10 bytes (17 words) - 16:51, 9 December 2023
- Publication Type Symbolic Specialization of Rewriting Logic Theories with Presto 2023-12-12 Paper Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity...10 bytes (16 words) - 02:46, 12 December 2023
- Type Many-sorted hybrid modal languages 2021-06-25 Paper Towards a \(\mathbb{K}\)ool future 2021-05-20 Paper A Many-sorted Polyadic Modal Logic 2020-11-16...10 bytes (18 words) - 20:30, 12 December 2023
- Tense Logic 2014-04-16 Paper Relations on Hypergraphs 2012-09-21 Paper Relations between adjacency trees 2011-07-29 Paper A Framework for Order-Sorted Algebra...10 bytes (18 words) - 06:56, 9 December 2023
- Publication Type Symbolic Specialization of Rewriting Logic Theories with Presto 2023-12-12 Paper Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity...10 bytes (16 words) - 02:26, 12 December 2023
- within pure inductive logic 2016-02-09 Paper An analogy principle in inductive logic 2015-08-27 Paper From Unary to Binary Inductive Logic 2015-07-03 Paper...10 bytes (19 words) - 00:59, 10 December 2023
- rewriting 2022-08-16 Paper An introduction to category-based equational logic 2022-08-16 Paper https://portal.mardi4nfdi.de/entity/Q5416166 2014-05-19...10 bytes (18 words) - 18:40, 9 December 2023
- Conditional Order-Sorted Equational Maude Specifications 2010-10-12 Paper A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories 2010-10-12...10 bytes (17 words) - 11:55, 11 December 2023
- Publication Date of Publication Type Many-sorted hybrid modal languages 2021-06-25 Paper A Many-sorted Polyadic Modal Logic 2020-11-16 Paper Operational semantics...10 bytes (16 words) - 22:52, 24 September 2023
- theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic 2004-10-27 Paper Getting results from programs extracted...10 bytes (16 words) - 02:18, 9 December 2023
- systems in rewriting logic. With CD-ROM. 2007-08-08 Paper Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality,...10 bytes (16 words) - 22:23, 11 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4691922 2018-10-24 Paper Multi-sorted logic, models, and logical geometry. 2016-05-31 Paper Isotypeness of models...10 bytes (18 words) - 16:37, 10 December 2023
- semantic analysis of dynamic epistemic logic 2017-01-31 Paper Multi-type display calculus for dynamic epistemic logic 2017-01-31 Paper Multi-type display...10 bytes (16 words) - 01:42, 9 December 2023