Pure modal logic of names and tableau systems

DOI10.1007/s11225-018-9788-6zbMath1437.03091OpenAlexW2792300289WikidataQ131341355 ScholiaQ131341355MaRDI QIDQ1756600

Andrzej Pietruszczak, Tomasz Jarmużek

Publication date: 21 December 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9788-6

zbMATH Keywords

decidabilitysemanticsmodal syllogistictableauspure modal logic of names

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (1)

On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

Cites Work

• Models for modal syllogisms
• Relational models for the modal syllogistic
• An axiomatisation of a pure calculus of names
• Semantic analysis of the modal syllogistic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pure modal logic of names and tableau systems