Search results
From MaRDI portal
- incomplete intermediate predicate logics 2001-09-30 Paper On the existence of continua of logics between some intermediate predicate logics 2001-06-18 Paper Not...10 bytes (13 words) - 23:54, 11 December 2023
- intuitionistic logics with two variables and one monadic predicate letter 2022-03-23 Paper Algorithmic properties of first-order modal logics of linear Kripke...10 bytes (13 words) - 16:20, 24 September 2023
- Model checking and validity in propositional and modal inclusion logics 2020-02-03 Paper Satisfiability of Modal Inclusion Logic 2019-11-22 Paper Alternating-time...10 bytes (13 words) - 15:48, 24 September 2023
- de/entity/Q3937362 1981-01-01 Paper Some kinds of modal completeness 1980-01-01 Paper Canonical modal logics and ultrafilter extensions 1979-01-01 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 16:02, 11 December 2023
- Lyndon interpolation property in propositional modal logics 2020-07-17 Paper Rosser provability and normal modal logics 2020-06-09 Paper On Guaspari's problem...10 bytes (13 words) - 11:59, 6 October 2023
- Public Announcement Logic 2020-02-04 Paper Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics 2020-02-04 Paper Avoiding...10 bytes (13 words) - 01:55, 25 September 2023
- Quantified extensions of canonical propositional intermediate logics 1993-04-01 Paper Incompleteness results in Kripke semantics 1992-06-27 Paper Modal logics...10 bytes (15 words) - 17:46, 6 October 2023
- interpretations of modal formulae 1994-12-12 Paper On bimodal logics of provability 1994-10-13 Paper On propositional quantifiers in provability logic 1994-04-21...10 bytes (17 words) - 21:56, 10 December 2023
- Paper Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi 1963-01-01 Paper The Undecidability of Monadic Modal Quantification Theory 1962-01-01...10 bytes (17 words) - 02:47, 12 December 2023
- 2024-10-01 Paper Foundations of logic. Completeness, incompleteness, computability 2024-02-01 Paper CARNAP’S PROBLEM FOR MODAL LOGIC 2023-05-26 Paper Carnap's...10 bytes (14 words) - 13:07, 6 October 2023
- 1975-01-01 Paper Adding propositional connectives to countable infinitary logic 1975-01-01 Paper A cumulative hierarchy of predicates 1975-01-01 Paper Provable...10 bytes (17 words) - 23:01, 8 December 2023
- conditions with invexity 1998-11-03 Paper Exact scalar field cosmology with causal viscous fluid 1998-11-03 Paper Dynamic programming with homogeneous...10 bytes (12 words) - 10:19, 24 September 2023
- surfaces with prescribed shape 1988-01-01 Paper Implementing first-order rewriting with constructor systems 1988-01-01 Paper Fuzzy querying with SQL: Extensions...10 bytes (13 words) - 09:02, 24 September 2023
- application of dependence with complete connections to the metrical theory of G-continued fractions. Dependence with complete connections 1987-01-01 Paper...10 bytes (12 words) - 23:50, 22 September 2023
- tense logic An incomplete system of modal logic An incomplete decidable modal logic Sahlqvist's theorem for Boolean algebras with operators with an application...15 bytes (1,692 words) - 17:31, 31 January 2024
- are coNP-complete An incomplete system of modal logic An incomplete decidable modal logic Reduction of tense logic to modal logic. I Normal monomodal logics...15 bytes (745 words) - 19:02, 8 February 2024
- Two simple incomplete modal logics An incomplete logic containing S4 An incompleteness theorem in modal logic An incomplete system of modal logic Categories...15 bytes (731 words) - 01:33, 31 January 2024
- Behaviours LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE Characterizing quantifier extensions of dependence logic Characterising modal definability...15 bytes (1,021 words) - 08:48, 30 January 2024
- lattices Modal Logics of Some Hereditarily Irresolvable Spaces 1994 Annual Meeting of the Association for Symbolic Logic Positive modal logic beyond distributivity...15 bytes (724 words) - 08:37, 31 January 2024
- Description Logic Knowledge Bases Querying the Unary Negation Fragment with Regular Path Expressions. Propositional and predicate logics of incomplete information...15 bytes (898 words) - 20:19, 3 February 2024
