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

Deskribapen osoa

Xehetasun bibliografikoak
Egile nagusia:	Kishida, K
Formatua:	Conference item
Argitaratua:	Electronic Proceedings in Theoretical Computer Science 2017

Antzeko izenburuak

Categories for Dynamic Epistemic Logic
nork: Kohei Kishida
Argitaratua: (2017-07-01)

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

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

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

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

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
nork: Williamson, T
Argitaratua: (1992)

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

Epistemic Game Theory and Logic: Introduction
nork: Paul Weirich
Argitaratua: (2017-03-01)

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

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

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

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

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

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
nork: Williamson, T
Argitaratua: (1990)

Epistemic Contradictions Do Not Threaten Classical Logic
nork: Mayr, Philipp
Argitaratua: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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