Search results
From MaRDI portal
- Paper A model-theoretic account of confirmation 1979-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4156409 1978-01-01 Paper A model-theoretic semantics...10 bytes (19 words) - 20:46, 12 December 2023
- 2012-01-13 Paper An Agent Language with Destructive Assignment and Model-Theoretic Semantics 2010-08-24 Paper The CIFF proof procedure for abductive logic programming...10 bytes (16 words) - 15:14, 6 October 2023
- 2011-08-10 Paper An Agent Language with Destructive Assignment and Model-Theoretic Semantics 2010-08-24 Paper The Logical Way to Be Artificially Intelligent...10 bytes (18 words) - 15:14, 6 October 2023
- Paper Distributed Logic Programming 1993-06-29 Paper Compositional model-theoretic semantics for logic programs 1993-04-01 Paper https://portal.mardi4nfdi.de/entity/Q4028774...10 bytes (17 words) - 14:11, 6 October 2023
- 1993-11-17 Paper Compositional model-theoretic semantics for logic programs 1993-04-01 Paper The implementation of a distributed model for logic programming based...10 bytes (16 words) - 09:44, 25 September 2023
- Multi-level modelling via stochastic multi-level multiset rewriting 2013-04-29 Paper Bialgebraic Semantics and Recursion 2013-04-26 Paper Semantics for Algebraic...10 bytes (19 words) - 00:56, 10 December 2023
- by fibring of the finite model property 2011-06-10 Paper A Graph-theoretic Account of Logics 2010-01-14 Paper On Graph-theoretic Fibring of Logics 2010-01-14...10 bytes (18 words) - 20:28, 8 December 2023
- quantification 1988-01-01 Paper Model existence theorem in superrelevant predicate logics 1987-01-01 Paper Some Model‐Theoretic Results for the Relevant Logic...10 bytes (17 words) - 09:47, 13 December 2023
- de/entity/Q4282599 1994-04-17 Paper Modelling Prolog Control 1994-03-27 Paper A model-theoretic reconstruction of the operational semantics of logic programs 1993-06-29...10 bytes (17 words) - 05:01, 13 December 2023
- 2022-11-26 Paper Advances in Proof-Theoretic Semantics: Introduction 2022-06-03 Paper Open Problems in Proof-Theoretic Semantics 2022-06-03 Paper Restricting...10 bytes (20 words) - 14:07, 6 October 2023
- Negation as instantiation 1996-04-22 Paper A model-theoretic reconstruction of the operational semantics of logic programs 1993-06-29 Paper A new SLDNF-tree...10 bytes (16 words) - 03:23, 9 December 2023
- Points on Universes 2017-07-03 Paper A model of guarded recursion with clock synchronisation 2016-12-16 Paper A model of PCF in guarded type theory 2016-12-16...10 bytes (18 words) - 05:06, 13 December 2023
- system 1993-08-17 Paper A type-theoretic approach to program development 1990-01-01 Paper A structural operational semantics for an Edison-like language 1986-01-01...10 bytes (18 words) - 13:25, 11 December 2023
- Paper First-order swap structures semantics for some logics of formal inconsistency 2020-12-15 Paper A Model-Theoretic Analysis of Fidel-Structures for...10 bytes (18 words) - 13:36, 28 January 2024
- 2000-06-18 Paper A model-theoretic criterion of ontology 1993-02-02 Paper A single primitive trope relation 1989-01-01 Paper Four modal modelings 1988-01-01 Paper...10 bytes (17 words) - 22:28, 12 December 2023
- systems modelling 2009-11-11 Paper A Games Model of Bunched Implications 2009-03-05 Paper Bunched polymorphism 2008-12-10 Paper On categorical models of classical...10 bytes (18 words) - 04:15, 9 December 2023
- Institution-independent model theory 2008-02-07 Paper Jewels of Institution-Independent Model Theory 2007-09-07 Paper Ultraproducts and possible worlds semantics in institutions...10 bytes (16 words) - 12:37, 28 January 2024
- temporal data model 2001-06-19 Paper A logical design method for temporal databases based on the stability constraint and the generalization semantics 2000-06-05...10 bytes (17 words) - 18:37, 8 December 2023
- Paper Action Algebras and Model Algebras in Denotational Semantics 2009-10-22 Paper Using the Internal Logic of a Topos to Model Search Spaces for Problems...10 bytes (18 words) - 15:25, 10 December 2023
- Some Model and Proof Theoretic Aspects 2015-12-17 Paper Symbolic Model Checking for Dynamic Epistemic Logic 2015-12-17 Paper Changing a Semantics: Opportunism...10 bytes (22 words) - 17:02, 11 December 2023
