Some Computational Constraints in Epistemic Logic

DOI10.1007/978-3-319-20451-2_34zbMath1384.03092OpenAlexW2478025259MaRDI QIDQ2971698

Timothy Williamson

Publication date: 7 April 2017

Published in: Readings in Formal Epistemology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20451-2_34

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Turing machines and related notions (03D10) Logic in the philosophy of science (03A10)

Cites Work

• Representing the knowledge of Turing machines
• Some embedding theorems for modal logic
• The lattice of modal logics: an algebraic investigation
• Self-knowledge and embedded operators*
• On axiomatizability within a system
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some Computational Constraints in Epistemic Logic