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...

Descrizione completa

Dettagli Bibliografici
Autore principale:	Kishida, K
Natura:	Conference item
Pubblicazione:	Electronic Proceedings in Theoretical Computer Science 2017

Documenti analoghi

Categories for Dynamic Epistemic Logic
di: Kohei Kishida
Pubblicazione: (2017-07-01)

Dynamic epistemic logic /
di: Ditmarsch, Hans van, 1959-, et al.
Pubblicazione: (2007)

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

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

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

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
di: Williamson, T
Pubblicazione: (1992)

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

Epistemic Game Theory and Logic: Introduction
di: Paul Weirich
Pubblicazione: (2017-03-01)

Tableau Systems for Epistemic Positional Logics
di: Mateusz Klonowski, et al.
Pubblicazione: (2021-06-01)

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

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

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

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

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
di: Williamson, T
Pubblicazione: (1990)

Epistemic Contradictions Do Not Threaten Classical Logic
di: Mayr, Philipp
Pubblicazione: (2022)

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

A New Modal Framework for Epistemic Logic
di: Yanjing Wang
Pubblicazione: (2017-07-01)

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

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

Stochastic Relational Presheaves and Dynamic Logic for Contextuality
di: Kohei Kishida
Pubblicazione: (2014-12-01)

Sets, logic and categories /
di: Cameron, Peter J. (Peter Jephson), 1947-
Pubblicazione: (1998)

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

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

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

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

Multi-succedent sequent calculus for intuitionistic epistemic logic
di: Romas Alonderis
Pubblicazione: (2024-12-01)

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

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

A Knowledge Representation Framework Based on Epistemic Logic
di: Teodor Przymusiński
Pubblicazione: (2014-12-01)

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
di: Francesco Belardinelli
Pubblicazione: (2014-04-01)

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

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

Epistemic Logic Programs: A Different World View
di: Michael Morak
Pubblicazione: (2019-09-01)

Introduction to categories and categorical logic
di: Abramsky, S, et al.
Pubblicazione: (2010)

Topoi. The categorial analysis of logic /
di: 255858 Goldblatt, Robert
Pubblicazione: (1983)

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

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

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

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

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