Search results
From MaRDI portal
- Decidable and enumerable predicate logics of provability 1990-01-01 Paper Finite Kripke models and predicate logics of provability 1990-01-01 Paper...10 bytes (16 words) - 10:32, 6 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4283226 1994-04-04 Paper Finite Kripke models and predicate logics of provability 1990-01-01 Paper https://portal...10 bytes (18 words) - 18:23, 11 December 2023
- strengthenings of a strongly finite consequence operation 1981-01-01 Paper Strong completeness with respect to finite Kripke models 1981-01-01 Paper https://portal...10 bytes (16 words) - 17:24, 12 December 2023
- 2021-03-19 Paper THE -PROVABILITY LOGIC OF 2019-09-17 Paper Localizing finite-depth Kripke models 2019-06-18 Paper The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)...10 bytes (16 words) - 03:54, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q3509063 2008-07-01 Paper Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics 2008-05-05...10 bytes (18 words) - 15:54, 9 December 2023
- DELIVERS 2021-04-21 Paper From intuitionism to many-valued logics through Kripke models 2021-03-19 Paper ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP 2021-01-05...10 bytes (17 words) - 11:03, 12 December 2023
- counterparts of Medvedev logic of finite problems are not finitely axiomatizable 1990-01-01 Paper Logics of some Kripke frames connected with Medvedev notion...10 bytes (17 words) - 13:44, 28 January 2024
- with a finite number of countable models 1978-01-01 Paper A note on countable complete theories having three isomorphism types of countable models 1976-01-01...10 bytes (19 words) - 19:15, 9 December 2023
- TROELSTRA 1939–2019 2021-04-21 Paper NNIL-formulas revisited: Universal models and finite model property 2021-04-09 Paper Binary modal companions for subintuitionistic...10 bytes (23 words) - 01:17, 12 December 2023
- of zeros of polynomials and exponential polynomials 1977-01-01 Paper Kripke models and the intuitionistic theory of species 1976-01-01 Paper https://portal...10 bytes (16 words) - 23:04, 12 December 2023
- cofinality ω 1974-01-01 Paper A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties...10 bytes (17 words) - 16:31, 8 December 2023
- 2017-06-30 Paper Bi-modal Godel logic over [0,1-valued Kripke frames] 2015-02-26 Paper A Finite Model Property for Gödel Modal Logics 2013-09-17 Paper Logics...10 bytes (18 words) - 21:19, 8 December 2023
- entities in Talmudic public announcement logic 2013-05-02 Paper Reactive Kripke models and contrary to duty obligations. Part A: Semantics 2013-05-02 Paper...10 bytes (19 words) - 02:43, 9 December 2023
- SEPARATIONS OF CONJECTURES ABOUT INCOMPLETENESS IN THE FINITE DOMAIN 2022-08-29 Paper Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) 2022-02-11...10 bytes (16 words) - 23:58, 24 September 2023
- de/entity/Q4487245 2000-11-07 Paper Finite sets and natural numbers in intuitionistic TT 1997-12-02 Paper Constants in Kripke Models for Intuitionistic Logic 1996-05-13...10 bytes (16 words) - 09:35, 6 October 2023
- Elementary classes of finite VC-dimension 2015-09-01 Paper The eal truth 2015-03-19 Paper Generic expansions of countable models 2012-11-29 Paper Krull...10 bytes (16 words) - 13:54, 6 October 2023
- Publication Date of Publication Type Faithful Modeling of Product Lines with Kripke Structures and Modal Logic 2019-02-08 Paper Observational refinement...10 bytes (18 words) - 00:26, 25 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3007245 2011-06-21 Paper Kripke models for subtheories of \textsf{CZF} 2010-03-02 Paper Proof theory for admissible...10 bytes (16 words) - 16:43, 24 September 2023
- 2018-04-23 Paper Partitioning Kripke frames of finite height 2017-08-24 Paper Finite model property of modal logics of finite depth 2016-06-30 Paper Products...10 bytes (18 words) - 01:36, 12 December 2023
- formulas as one-place logical connectives in the elementary theory of Kripke models 1984-01-01 Paper Intuitionistic logical connectives on linear structures...10 bytes (18 words) - 01:59, 12 December 2023