An epistemic logic for becoming informed

DOI10.1007/s11229-008-9413-8zbMath1182.03036OpenAlexW1991255368MaRDI QIDQ833038

Giuseppe Primiero

Publication date: 11 August 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9413-8

zbMATH Keywords

modal logicepistemic logiclogic of informationlogic of justification

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

Information closure and the sceptical objection ⋮ A multi-agent depth bounded Boolean logic

Cites Work

• The logic of proofs, semantically
• Combinatory logic. With two sections by William Craig.
• The modal logic of provability. The sequential approach
• The calculus of constructions
• Logic of proofs
• A Gentzen-style sequent calculus of constructions with expansion rules
• On an intuitionistic modal logic
• Logics for epistemic programs
• Information and knowledge. A constructive type-theoretical approach
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• Trust Management
• On the proof theory of Coquand's calculus of constructions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An epistemic logic for becoming informed