Search results
From MaRDI portal
- Naosuke Matsuda (section List of research outcomes)semantics of typed lambda calculus 2021-09-07 Paper Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical...10 bytes (13 words) - 02:04, 7 October 2023
- Ryo Kashima (section List of research outcomes)Cut‐Elimination Theorem for the Logic of Constant Domains 1995-09-28 Paper Cut-free sequent calculi for some tense logics 1994-03-22 Paper https://portal...10 bytes (13 words) - 02:04, 7 October 2023
- Grigory Olkhovikov (section List of research outcomes)justification stit logic 2019-09-23 Paper Inference as doxastic agency. I: The basics of justification stit logic 2019-05-15 Paper Stit logic of justification...10 bytes (14 words) - 03:52, 12 December 2023
- Pierangelo Miglioli (section List of research outcomes)intermediate logics 2000-06-14 Paper https://portal.mardi4nfdi.de/entity/Q4699343 2000-06-14 Paper A cut-free sequent calculus for the logic of constant domains...10 bytes (14 words) - 11:50, 28 January 2024
- Kento Takagi (section List of research outcomes)predicate logic and the logic of constant domains? 2023-06-02 Paper Effect of the choice of connectives on the relation between classical logic and intuitionistic...10 bytes (13 words) - 00:18, 25 September 2023
- Federico Aschieri (section List of research outcomes)The Strange Case of the Intuitionistic Logic of Constant Domains 2018-03-20 Paper Disjunctive Axioms and Concurrent $\lambda$-Calculi: a Curry-Howard Approach...10 bytes (14 words) - 14:14, 6 October 2023
- Tatsuya Shimura (section List of research outcomes)de/entity/Q4704070 1999-12-02 Paper Cut‐Elimination Theorem for the Logic of Constant Domains 1995-09-28 Paper https://portal.mardi4nfdi.de/entity/Q4834486 1995-07-27...10 bytes (13 words) - 12:14, 24 September 2023
- Camillo Fiorentini (section List of research outcomes)sequent calculus for the logic of constant domains with a limited amount of duplications 2000-01-30 Paper All intermediate logics with extra axioms in one...10 bytes (13 words) - 12:49, 7 October 2023
- Pierluigi Minari (section List of research outcomes)Comparative Logic 1988-01-01 Paper A Note on a Subsystem Of Intuitionistic Logic with Constant Domains 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3801548...10 bytes (13 words) - 15:54, 6 October 2023
- Alwen Tiu (section List of research outcomes)Hypersequent System for Gödel-Dummett Logic with Non-constant Domains 2011-07-01 Paper On the Correspondence between Display Postulates and Deep Inference...10 bytes (14 words) - 18:36, 24 September 2023
- Felipe Salvatore (section List of research outcomes)Publication Date of Publication Type First-order justification logic with constant domain semantics 2020-04-29 Paper...10 bytes (13 words) - 11:46, 28 January 2024
- Carsten Lutz (section List of research outcomes)Description Logic ALCF(D) 2003-05-05 Paper A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains 2003-03-12...10 bytes (15 words) - 11:42, 7 October 2023
- Dmitrij Skvortsov (section List of research outcomes)On the predicate logic of linear Kripke frames and some of its extensions 2006-03-17 Paper The superintuitionistic predicate logic of finite Kripke frames...10 bytes (13 words) - 23:54, 11 December 2023
- F. Wolter (section List of research outcomes)Willem Blok and modal logic 2006-10-27 Paper Non-primitive recursive decidability of products of modal logics with expanding domains 2006-09-14 Paper All...10 bytes (15 words) - 18:24, 9 December 2023
- Tom Carroll (section List of research outcomes)the rate of change of the sharp constant in the Sobolev-Poincaré inequality 2017-11-06 Paper Monotonicity of the first Dirichlet eigenvalue of the Laplacian...10 bytes (13 words) - 15:48, 6 October 2023
- Willem Blok and modal logic 2006-10-27 Paper Non-primitive recursive decidability of products of modal logics with expanding domains 2006-09-14 Paper Undecidability...10 bytes (14 words) - 22:16, 9 December 2023
- Mooly Sagiv (section List of research outcomes)fragments of many-sorted logic 2009-12-03 Paper Generalizing DPLL to Richer Logics 2009-06-30 Paper Simulating reachability using first-order logic with applications...10 bytes (13 words) - 06:27, 7 October 2023
- Jürgen Giesl (section List of research outcomes)Automated termination analysis for logic programs with cut 2010-08-19 Paper The Dependency Triple Framework for Termination of Logic Programs 2010-05-04 Paper Automated...10 bytes (13 words) - 21:05, 24 September 2023
- Abilio Rodrigues (section List of research outcomes)approach to an extension of Belnap-Dunn logic 2023-12-14 Paper First-order logics of evidence and truth with constant and variable domains 2022-10-18 Paper Valuation...10 bytes (13 words) - 22:42, 24 September 2023
- Yves Deville (section List of research outcomes)Combining Two Structured Domains for Modeling Various Graph Matching Problems 2009-01-13 Paper Program Development in Computational Logic 2005-12-23 Paper https://portal...10 bytes (13 words) - 21:30, 11 December 2023
