The following pages link to Bernhard Heinemann (Q190300):
Displaying 50 items.
- Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP (Q453191) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Boolean logics with relations (Q604451) (← links)
- Worlds, models and descriptions (Q863186) (← links)
- Using hybrid logic for coping with functions in subset spaces (Q965902) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- A hybrid logic for reasoning about knowledge and topology (Q1006488) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- On finite intersections of ''Henselian valued'' fields (Q1069991) (← links)
- (Q1377549) (redirect page) (← links)
- A new semantics for positive modal logic (Q1377550) (← links)
- Multi-dimensional modal logic (Q1379287) (← links)
- A labelled natural deduction system for linear temporal logic (Q1419387) (← links)
- Completeness of certain bimodal logics for subset spaces (Q1611248) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- A modal logic for discretely descending chains of sets (Q1826367) (← links)
- On agents that have the ability to choose (Q1840648) (← links)
- Temporal aspects of the modal logic of subset spaces (Q1960421) (← links)
- Reusing topological nexttime logic (Q2027210) (← links)
- The modal logic of cluster-decomposable Kripke interpretations (Q2425352) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
- Modal logic (Q2744124) (← links)
- (Q2767162) (← links)
- Combined temporal and modal logic. Completeness results for predicate logic languages (Q2771498) (← links)
- Characterizing Subset Spaces as Bi-topological Structures (Q2870141) (← links)
- Logics for multi-subset spaces (Q2901196) (← links)
- Characterizing Certain Topological Specifications (Q2907500) (← links)
- Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay (Q2942616) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- Expressive completeness of modal logic on binary ramified frames (Q3130048) (← links)
- Linear Tense Logics of Increasing Sets (Q3146302) (← links)
- (Q3218215) (← links)
- (Q3408135) (← links)
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (Q3455847) (← links)
- A PDL-Like Logic of Knowledge Acquisition (Q3499772) (← links)
- (Q3509057) (← links)
- The Cantor Space as a Generic Model of Topologically Presented Knowledge (Q3569741) (← links)
- Observational Effort and Formally Open Mappings (Q3638284) (← links)
- (Q3680817) (← links)
- (Q3998237) (← links)
- (Q4215596) (← links)
- (Q4250363) (← links)
- On Binary Computation Structures (Q4336700) (← links)
- (Q4373590) (← links)
- (Q4376054) (← links)
- (Q4415255) (← links)
- (Q4501147) (← links)
- (Q4501687) (← links)
- (Q4699305) (← links)
