The following pages link to Heinrich Wansing (Q496328):
Displaying 50 items.
- A logical theory of localization (Q310092) (← links)
- External curries (Q496329) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Truth and falsehood. An inquiry into generalized logical values (Q656420) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Connectives stranger than tonk (Q853814) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Constructive negations and paraconsistency (Q932098) (← links)
- Erratum to: ``Suszko's thesis, inferential many-valuedness, and the notion of a logical system'' (Q935025) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- Editorial introduction. Truth values. I (Q1015488) (← links)
- On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
- The slingshot argument and sentential identity (Q1015494) (← links)
- Editorial introduction. Truth values. II (Q1037595) (← links)
- (Q1177649) (redirect page) (← links)
- Conditionals, quantification, and strong mathematical induction (Q1177650) (← links)
- On intuitionistic modal epistemic logic (Q1185042) (← links)
- Information and impossibilities (Q1276417) (← links)
- Predicate logics on display (Q1283134) (← links)
- Relevant identity (Q1288138) (← links)
- Editorial: Modality, of course! Modal logic, si! Modality and modal logic (Q1289098) (← links)
- The logic of information structures (Q1310268) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- A dynamic logic of action (Q1337608) (← links)
- On the logic of event-causation. Jaśkowski-style systems of causal logic (Q1338482) (← links)
- Indexed systems of sequents and cut-elimination (Q1372944) (← links)
- Nested deontic modalities: Another view of parking on highways (Q1583744) (← links)
- DDL unlimited: Dynamic doxastic logic for introspective agents (Q1583791) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Remarks on the logic of imagination. A step towards understanding doxastic control through imagination (Q1708861) (← links)
- An axiomatic system and a tableau calculus for STIT imagination logic (Q1749805) (← links)
- A natural deduction system for discourse representation theory (Q1802396) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- A general possible worlds framework for reasoning about knowledge and belief (Q1814181) (← links)
- Displaying modal logic (Q1817696) (← links)
- A reduction of doxastic logic to action logic (Q1841011) (← links)
- A rule-extension of the non-associative Lambek calculus (Q1850955) (← links)
- Obligation and the conditional in stit theory (Q1868248) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
