scientific article; zbMATH DE number 7438581

zbMath1486.03015arXiv1401.8209MaRDI QIDQ5013887

Edward Hermann Haeusler

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1401.8209

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Classical propositional logic (03B05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Many-valued logic (03B50)

Related Items

A unified procedure for provability and counter-model generation in minimal implicational logic

Cites Work

• General-elimination harmony and the meaning of the logical constants
• Propositional dynamic logic of regular programs
• Intuitionistic propositional logic is polynomial-space complete
• Knowledge and common knowledge in a distributed environment
• Strict Canonical Constructive Systems
• Classic-Like Analytic Tableaux for Finite-Valued Logics
• A natural extension of natural deduction
• Labelled propositional modal logics: theory and practice
• On Interpolation and Automatization for Frege Systems
• A natural deduction approach to dynamic logic
• Finitely many-valued logics and natural deduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item