Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q3768879 1987-01-01 Paper Arithmetically complete modal theories 1987-01-01 Paper ON MODAL LOGICS AXIOMATIZING PROVABILITY 1986-01-01 Paper...10 bytes (15 words) - 17:23, 11 December 2023
- CLASSICAL PROPOSITIONAL LOGIC 2020-08-26 Paper Countably many weakenings of Belnap-Dunn logic 2020-03-27 Paper DYNAMIC GRADED EPISTEMIC LOGIC 2020-02-20...10 bytes (13 words) - 16:34, 6 October 2023
- interpolation property in propositional modal logics 2020-07-17 Paper Rosser provability and normal modal logics 2020-06-09 Paper On Guaspari's problem about...10 bytes (13 words) - 11:59, 6 October 2023
- Linear-time temporal logics with Presburger constraints: an overview ★ 2009-11-30 Paper Presburger Modal Logic Is PSPACE-Complete 2009-03-12 Paper Verification...10 bytes (14 words) - 06:38, 9 December 2023
- Complexity of Propositional Logics in Team Semantic 2018-03-22 Paper Modal independence logic: 2018-02-13 Paper A Van Benthem Theorem for Modal Team Semantics...10 bytes (14 words) - 06:50, 9 December 2023
- de/entity/Q5419872 2014-06-11 Paper Propositional primal logic with disjunction 2014-04-01 Paper Positive provability logic for uniform reflection principles...10 bytes (17 words) - 21:56, 10 December 2023
- consequence relation in the logic of commutative GBL-algebras is PSPACE-complete 2009-03-25 Paper A note on the first‐order logic of complete BL‐chains 2008-08-15...10 bytes (15 words) - 14:59, 7 December 2023
- 1992-06-25 Paper Propositional consistency proofs 1992-06-25 Paper The undecidability of \(k\)-provability 1992-06-25 Paper The modal logic of pure provability...10 bytes (17 words) - 13:53, 7 December 2023
- Basic propositional calculus. II: Interpolation 2001-01-01 Paper A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic...10 bytes (13 words) - 22:25, 24 September 2023
- in Fuzzy Logic 2011-11-10 Paper On fuzzy modal logics \(S5(\mathcal C)\) 2011-01-31 Paper SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC 2010-07-23...10 bytes (15 words) - 23:10, 8 December 2023
- Paper Building decision procedures for modal logics from propositional decision procedures — The case study of modal K 2019-01-15 Paper Incremental Linearization...10 bytes (13 words) - 03:35, 12 December 2023
- 2023-01-25 Paper INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH 2022-06-15 Paper Information in propositional proofs and algorithmic proof...10 bytes (15 words) - 11:15, 9 December 2023
- Paper Modal bilattice logic and its extensions 2022-06-15 Paper Infinitary action logic with exponentiation 2022-01-18 Paper Negation as a modality in a...10 bytes (15 words) - 14:34, 11 December 2023
- Semantics 2020-07-09 Paper The logic of Turing progressions 2020-05-04 Paper The interpretability logic of all reasonable arithmetical theories 2020-04-27 Paper...10 bytes (15 words) - 04:33, 7 October 2023
- interpolation for intuitionistic monotone modal logic 2022-08-09 Paper Uniform Lyndon interpolation for basic non-normal modal logics 2022-06-24 Paper Implication via...10 bytes (15 words) - 00:53, 25 September 2023
- topological logic of metric spaces 2012-04-19 Paper Dynamic topological logic interpreted over minimal systems 2012-03-23 Paper Tangled modal logic for topological...10 bytes (17 words) - 16:23, 11 December 2023
- sequential system for the propositional modal logic of finite chains 1983-01-01 Paper Hauptsatz for higher-order modal logic 1983-01-01 Paper Semantical...10 bytes (13 words) - 22:19, 8 December 2023
- abstract algebraic logic 2015-09-15 Paper A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS 2015-05-20 Paper Modal Logics of Uncertainty...10 bytes (15 words) - 11:32, 28 January 2024
- eliminability of the actuality operator in propositional modal logic 1978-01-01 Paper Expressive completeness in modal language 1976-01-01 Paper Semantics for...10 bytes (15 words) - 20:18, 8 December 2023
- detachment is complete for relevance logic: A computer-aided proof 1992-06-27 Paper A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM...10 bytes (17 words) - 16:17, 9 December 2023
