Review of Symbolic Logic 3 (3):351-373 (2010)
|Abstract||We consider a simple modal logic whose nonmodal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of (e.g.) T, S4, and S5, such logics are useful, as shown in previous work by Baltag, Coecke, and the first author, for encoding and reasoning about information and misinformation in multiagent systems. For the propositional-only fragment of such a dynamic epistemic logic, we present an algebraic semantics, using lattices with agent-indexed families of adjoint pairs of operators, and a cut-free sequent calculus. The calculus exploits operators on sequents, in the style of or calculi; cut-admissibility is shown by constructive syntactic methods. The applicability of the logic is illustrated by reasoning about the muddy children puzzle, for which the calculus is augmented with extra rules to express the facts of the muddy children scenario|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Peter Fritz (2013). A Logic for Epistemic Two-Dimensional Semantics. Synthese 190 (10):1753-1770.
Edwin Mares (2010). The Nature of Information: A Relevant Approach. Synthese 175 (1):111 - 132.
Duccio Luchi & Franco Montagna (1999). An Operational Logic of Proofs with Positive and Negative Information. Studia Logica 63 (1):7-25.
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Denis Bonnay & Paul Égré (2009). Inexact Knowledge with Introspection. Journal of Philosophical Logic 38 (2):179 - 227.
Added to index2010-08-14
Total downloads9 ( #122,367 of 722,826 )
Recent downloads (6 months)1 ( #60,541 of 722,826 )
How can I increase my downloads?