A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence

DOI10.1007/978-94-017-9011-6_6zbMath1436.03139OpenAlexW16710208MaRDI QIDQ3295786

Marek Nasieniewski, Andrzej Pietruszczak

Publication date: 13 July 2020

Published in: Logic, Argumentation & Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-017-9011-6_6

zbMATH Keywords

\(\mathbf{D}_{\mathbf{2}}\)-consequencededucibility in \(\mathbf{D}_{\mathbf{2}}\)Jaśkowski's logic \(\mathbf{D}_{\mathbf{2}}\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\)
• Propositional calculus for contradictory deductive systems
• A propositional calculus for inconsistent deductive systems
• On Modal Logics Defining Jaśkowski’s D2-Consequence
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence