Search results
From MaRDI portal
Did you mean: dynamics topological logical
- de/entity/Q2904049 2012-08-05 Paper Dynamic topological logic of metric spaces 2012-04-19 Paper Dynamic topological logic interpreted over minimal systems...10 bytes (19 words) - 17:23, 11 December 2023
- Publication Date of Publication Type Non-deterministic semantics for dynamic topological logic 2009-03-25 Paper...10 bytes (16 words) - 17:04, 21 September 2023
- infinitary axiomatization of dynamic topological logic 2022-03-30 Paper A strongly complete axiomatization of intuitionistic temporal logic 2021-11-09 Paper...10 bytes (16 words) - 23:00, 27 December 2023
- Publication Date of Publication Type On Dynamic Topological Logic of the Real Line 2008-12-22 Paper Formal compiler construction in a logical framework...10 bytes (16 words) - 14:12, 7 October 2023
- Polynomials using a Novel Bernoulli Numbers Identity 2017-07-07 Paper On Dynamic Topological Logic of the Real Line 2008-12-22 Paper A short proof of Eilenberg and...10 bytes (17 words) - 19:09, 24 September 2023
- Paper Supervaluation fixed-point logics of truth 2009-07-13 Paper Dynamic topological S5 2009-06-17 Paper The modal logic of continuous functions on Cantor...10 bytes (16 words) - 01:59, 25 September 2023
- models of intuitionistic predicate logic 2022-08-10 Paper An infinitary axiomatization of dynamic topological logic 2022-03-30 Paper A strongly complete...10 bytes (16 words) - 12:07, 7 October 2023
- strong normalization with permutative conversions 2005-09-22 Paper Dynamic topological logic 2005-01-31 Paper https://portal.mardi4nfdi.de/entity/Q4453638 2004-03-07...10 bytes (18 words) - 17:17, 9 December 2023
- 2009-07-06 Paper Dynamic Epistemic Logic and Knowledge Puzzles 2009-03-06 Paper Dynamic epistemic logic 2008-11-07 Paper Sum and Product in Dynamic Epistemic...10 bytes (20 words) - 21:50, 10 December 2023
- 2012-11-15 Paper The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge 2012-09-21 Paper Quantum logic as a dynamic logic 2011-06-08 Paper...10 bytes (16 words) - 03:17, 10 December 2023
- Abstract) 2022-06-15 Paper Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality 2022-02-04 Paper...10 bytes (17 words) - 01:08, 11 December 2023
- 2012-11-15 Paper The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge 2012-09-21 Paper Quantum logic as a dynamic logic 2011-06-08 Paper...10 bytes (18 words) - 03:17, 10 December 2023
- Equations 2008-05-27 Paper A Logic for Concepts and Similarity 2007-12-12 Paper On dynamic topological and metric logics 2007-02-13 Paper Automated Deduction...10 bytes (17 words) - 23:16, 9 December 2023
- propositional dynamic logic: expressivity 2012-06-19 Paper Lattice properties of congruences for stochastic relations 2012-06-01 Paper Coalgebraic logic over general...10 bytes (19 words) - 20:23, 11 December 2023
- A game theoretical semantics for a logic of formal inconsistency 2021-01-08 Paper A history based logic for dynamic preference updates 2020-10-28 Paper...10 bytes (16 words) - 13:45, 28 January 2024
- IN MODAL LOGIC 2018-01-11 Paper A propositional dynamic logic for instantial neighborhood models 2017-11-22 Paper Quotient dynamics: the logic of abstraction...10 bytes (16 words) - 14:46, 10 December 2023
- PROBABILISTIC REASONING? 2024-04-04 Paper INTERLEAVING LOGIC AND COUNTING 2024-02-23 Paper A simple logic of concepts 2023-06-13 Paper On Pearl’s Hierarchy...10 bytes (20 words) - 23:31, 9 December 2023
- Paper A dynamic logic for learning theory 2018-04-12 Paper Quotient dynamics: the logic of abstraction 2017-11-22 Paper Topo-logic as a dynamic-epistemic...10 bytes (16 words) - 16:33, 6 October 2023
- Paper Propositional dynamic logic for concurrent programs 1982-01-01 Paper Arithmetical completeness in first-order dynamic logic for concurrent programs...10 bytes (16 words) - 23:19, 8 December 2023
- 2008-07-01 Paper Automated Reasoning 2007-09-25 Paper On dynamic topological and metric logics 2007-02-13 Paper Automated Deduction – CADE-20 2006-11-01...10 bytes (16 words) - 18:35, 9 December 2023
