Some intensional logics defined by relating semantics and tableau systems
From MaRDI portal
Publication:2086530
DOI10.1007/978-3-030-53487-5_3OpenAlexW3108530631MaRDI QIDQ2086530
Tomasz Jarmużek, Mateusz Klonowski
Publication date: 25 October 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-53487-5_3
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)
Related Items (9)
Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems ⋮ History of Relating Logic. The Origin and Research Directions ⋮ Relating Semantics for Epistemic Logic ⋮ Incorporating the Relation into the Language? ⋮ Tableaux for logics of content relationship and set-assignment semantics ⋮ Tableau Systems for Epistemic Positional Logics ⋮ Tolerating Inconsistencies: A Study of Logic of Moral Conflicts ⋮ Tableaux for some deontic logics with the explicit permission operator ⋮ Axiomatization of some basic and modal Boolean connexive logics
This page was built for publication: Some intensional logics defined by relating semantics and tableau systems
