The logic of information structures

From MaRDI portal
Publication:1310268

DOI10.1007/3-540-56734-8zbMath0788.03001OpenAlexW1595523092MaRDI QIDQ1310268

Heinrich Wansing

Publication date: 8 December 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56734-8



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (58)

Bunched sequential informationKripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosionA positive information logic for inferential informationLinear and affine logics with temporal, spatial and epistemic operatorsNotes on Craig interpolation for LJ with strong negationMeeting strength in substructural logicsA `natural logic' inference system using the Lambek calculusSemantics-based nonmonotonic inferencePartial up an down logicDYNAMIC NEGATION AND NEGATIVE INFORMATIONIterated team semantics for a hierarchy of informational typesAlgebraic structures in categorial grammarParaconsistent constructive logic with strong negation as a contraction-free relevant logic40 years of FDE: an introductory overviewRefutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logicHYPE: a system of hyperintensional logic (with an application to semantic paradoxes)The nature of entailment: an informational approachIntuitionistic logic is a connexive logicFalsification-aware calculi and semantics for normal modal logics including S4 and S5Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded ExponentialsNormal modal substructural logics with strong negationLogical consequence and the paradoxesRough Sets - Past, Present and Future: Some NotesInformational semantics as a third alternative?On Split Negation, Strong Negation, Information, Falsification, and VerificationTruth, Falsehood, Information and Beyond: The American Plan GeneralizedAn Invitation to New Essays on Belnap-Dunn LogicBilattice Logics and Demi-NegationModal and intuitionistic variants of extended Belnap-Dunn logic with classical negationInconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)A mixed \(\lambda\)-calculusInconsistency-tolerant temporal reasoning with hierarchical informationDescription logics with contraries, contradictories, and subcontrariesParaconsistent computation tree logicA variant of Thomason's first-order logic CF based on situationsCombining linear-time temporal logic with constructiveness and paraconsistencyA hierarchy of weak double negationsGame semantics for the Lambek-calculus: Capturing directionality and the absence of structural rulesPhase semantics and Petri net interpretation for resource-sensitive strong negationPrawitz, Proofs, and MeaningOn the Methodology of Paraconsistent LogicWhy Paraconsistent Logics?MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTIONProof systems combining classical and paraconsistent negationsConnexive Conditional Logic. Part IConstructive negation, implication, and co-implicationBounded linear-time temporal logic: a proof-theoretic investigationProof theory of Nelson's paraconsistent logic: a uniform perspectiveFalsification-aware semantics and sequent calculi for classical logicEmbedding friendly first-order paradefinite and connexive logicsAn extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculiGeneralized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent CalculusProof analysis in modal logicGentzen-type methods for bilattice negationThe class of extensions of Nelson's paraconsistent logicA first order nonmonotonic extension of constructive logicDual intuitionistic logic and a variety of negations: the logic of scientific researchDiamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic




This page was built for publication: The logic of information structures