Tableau Systems for Epistemic Positional Logics

DOI10.18778/0138-0680.2021.06zbMath1529.03134MaRDI QIDQ6043001

Mateusz Klonowski, Unnamed Author, Unnamed Author

Publication date: 4 May 2023

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

epistemic logictableau systemlogical omnisciencepositional logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Some intensional logics defined by relating semantics and tableau systems
• Maximality of the Minimal R-Logic
• Negation in weak positional calculi
• Logic of Social Ontology and Łoś’s Operator
• Tableau Metatheorem for Modal Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tableau Systems for Epistemic Positional Logics