Categories for dynamic epistemic logic

Categories for dynamic epistemic logic

The primary goal of this paper is to recast the conventional semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and a category of Kripke frames, with some reference to duality results. Using these categori...

Bibliografiset tiedot
Päätekijä:	Kishida, K
Aineistotyyppi:	Conference item
Julkaistu:	Electronic Proceedings in Theoretical Computer Science 2017

Samankaltaisia teoksia

Categories for Dynamic Epistemic Logic
Tekijä: Kohei Kishida
Julkaistu: (2017-07-01)

Dynamic epistemic logic /
Tekijä: Ditmarsch, Hans van, 1959-, et al.
Julkaistu: (2007)

Indicative Conditionals and Dynamic Epistemic Logic
Tekijä: Wesley H. Holliday, et al.
Julkaistu: (2017-07-01)

Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
Tekijä: Xiaojuan Chen, et al.
Julkaistu: (2019-01-01)

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
Tekijä: Xiaojuan Chen, et al.
Julkaistu: (2020-09-01)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
Tekijä: Williamson, T
Julkaistu: (1992)

Remarks on the Epistemic Interpretation of Paraconsistency Logic
Tekijä: Nicolás Lo Guercio, et al.
Julkaistu: (2018-08-01)

Epistemic Game Theory and Logic: Introduction
Tekijä: Paul Weirich
Julkaistu: (2017-03-01)

Tableau Systems for Epistemic Positional Logics
Tekijä: Mateusz Klonowski, et al.
Julkaistu: (2021-06-01)

A Modal Logic of Epistemic Games
Tekijä: François Schwarzentruber, et al.
Julkaistu: (2010-11-01)

Toward an Epistemic-Logical Theory of Categorization
Tekijä: Willem Conradie, et al.
Julkaistu: (2017-07-01)

The Time of Epistemic Domination: Notes on Modernity as an Oppressive Category
Julkaistu: (2022-04-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
Tekijä: Dyckhoff, R, et al.
Julkaistu: (2010)

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
Tekijä: Williamson, T
Julkaistu: (1990)

Epistemic Contradictions Do Not Threaten Classical Logic
Tekijä: Mayr, Philipp
Julkaistu: (2022)

Probabilities and Epistemic Operations in the Logics of Quantum Computation
Tekijä: Maria Luisa Dalla Chiara, et al.
Julkaistu: (2018-10-01)

A New Modal Framework for Epistemic Logic
Tekijä: Yanjing Wang
Julkaistu: (2017-07-01)

Towards A Logical Account of Epistemic Causality
Tekijä: Shakil M. Khan, et al.
Julkaistu: (2019-10-01)

An Epistemic Foundation for Authentication Logics (Extended Abstract)
Tekijä: Joseph Y. Halpern, et al.
Julkaistu: (2017-07-01)

Stochastic Relational Presheaves and Dynamic Logic for Contextuality
Tekijä: Kohei Kishida
Julkaistu: (2014-12-01)

Sets, logic and categories /
Tekijä: Cameron, Peter J. (Peter Jephson), 1947-
Julkaistu: (1998)

Epistemic logic and CERMINE: a logical model for automatic extraction of structured metadata
Tekijä: Simone Cuconato
Julkaistu: (2021-07-01)

A Logical Framework for Democratic Decision-Making: Epistemic Logic and Liquid Democracy
Tekijä: Simone Cuconato
Julkaistu: (2020-12-01)

Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
Tekijä: Iris van de Pol, et al.
Julkaistu: (2016-06-01)

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
Tekijä: Éric Goubault, et al.
Julkaistu: (2018-09-01)

Multi-succedent sequent calculus for intuitionistic epistemic logic
Tekijä: Romas Alonderis
Julkaistu: (2024-12-01)

A basic epistemic logic and its algebraic model
Tekijä: Hércules de Araujo Feitosa, et al.
Julkaistu: (2023-12-01)

Reshaping The University: Responsibility, Indigenous Epistemes, and The Logic of the Gift
Tekijä: Marguerite Le Caze
Julkaistu: (2008-12-01)

A Knowledge Representation Framework Based on Epistemic Logic
Tekijä: Teodor Przymusiński
Julkaistu: (2014-12-01)

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
Tekijä: Francesco Belardinelli
Julkaistu: (2014-04-01)

Completeness by Modal Deﬁnitions. Application to the Epistemic Logic With Hypotheses
Tekijä: Levan Uridia, et al.
Julkaistu: (2020-04-01)

The J. Fodor's language of thought hypothesis and epistemic logic
Tekijä: Konstantin Rayhert
Julkaistu: (2016-08-01)

Epistemic Logic Programs: A Different World View
Tekijä: Michael Morak
Julkaistu: (2019-09-01)

Introduction to categories and categorical logic
Tekijä: Abramsky, S, et al.
Julkaistu: (2010)

Topoi. The categorial analysis of logic /
Tekijä: 255858 Goldblatt, Robert
Julkaistu: (1983)

Reasoning, logic, and category mistakes
Tekijä: J. Martín Castro-Manzano
Julkaistu: (2017-04-01)

Review of Reshaping the University: Responsibility, Indigenous Epistemes, and the Logic of the Gift
Tekijä: Lynda Lange
Julkaistu: (2010-04-01)

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
Tekijä: Simon Busard, et al.
Julkaistu: (2012-02-01)

Freeman's Acceptable Premises: An Epistemic Approach to an Informal Logic Problem
Tekijä: Mark Weinstein
Julkaistu: (2004-01-01)

A Spatial-Epistemic Logic for Reasoning about Security Protocols
Tekijä: Bernardo Toninho, et al.
Julkaistu: (2011-02-01)