Displaying the modal logic of consistency

DOI10.2307/2586798zbMath0964.03020OpenAlexW2025567386MaRDI QIDQ4948528

Heinrich Wansing

Publication date: 9 July 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586798

zbMATH Keywords

modal logicfour-valued logicnonmonotonic reasoningconstructive logicmodal translations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Many-valued logic (03B50)

Related Items (8)

Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ A survey of nonstandard sequent calculi ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ A spatial modal logic with a location interpretation ⋮ Natural deduction systems for Nelson's paraconsistent logic and its neighbors ⋮ Gentzen-type methods for bilattice negation

Cites Work

• A logic for default reasoning
• Non-monotonic logic. I
• Displaying and deciding substructural logics. I: Logics with contraposition
• Predicate logics on display
• Semantics-based nonmonotonic inference
• A modal reduction for partial logic
• Constructible falsity and inexact predicates
• Sequent Calculi for Normal Modal Propositional Logics

This page was built for publication: Displaying the modal logic of consistency