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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Kishida, K
Formáid:	Conference item
Foilsithe / Cruthaithe:	Electronic Proceedings in Theoretical Computer Science 2017

Míreanna comhchosúla

Dynamic epistemic logic /
de réir: Ditmarsch, Hans van, 1959-, et al.
Foilsithe / Cruthaithe: (2007)

Indicative Conditionals and Dynamic Epistemic Logic
de réir: Wesley H. Holliday, et al.
Foilsithe / Cruthaithe: (2017-07-01)

Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
de réir: Xiaojuan Chen, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
de réir: Xiaojuan Chen, et al.
Foilsithe / Cruthaithe: (2020-09-01)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
de réir: Williamson, T
Foilsithe / Cruthaithe: (1992)

Remarks on the Epistemic Interpretation of Paraconsistency Logic
de réir: Nicolás Lo Guercio, et al.
Foilsithe / Cruthaithe: (2018-08-01)

Epistemic Game Theory and Logic: Introduction
de réir: Paul Weirich
Foilsithe / Cruthaithe: (2017-03-01)

Tableau Systems for Epistemic Positional Logics
de réir: Mateusz Klonowski, et al.
Foilsithe / Cruthaithe: (2021-06-01)

Toward an Epistemic-Logical Theory of Categorization
de réir: Willem Conradie, et al.
Foilsithe / Cruthaithe: (2017-07-01)

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

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
de réir: Dyckhoff, R, et al.
Foilsithe / Cruthaithe: (2010)

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
de réir: Williamson, T
Foilsithe / Cruthaithe: (1990)

Epistemic Contradictions Do Not Threaten Classical Logic
de réir: Mayr, Philipp
Foilsithe / Cruthaithe: (2022)

Probabilities and Epistemic Operations in the Logics of Quantum Computation
de réir: Maria Luisa Dalla Chiara, et al.
Foilsithe / Cruthaithe: (2018-10-01)

A New Modal Framework for Epistemic Logic
de réir: Yanjing Wang
Foilsithe / Cruthaithe: (2017-07-01)

Towards A Logical Account of Epistemic Causality
de réir: Shakil M. Khan, et al.
Foilsithe / Cruthaithe: (2019-10-01)

An Epistemic Foundation for Authentication Logics (Extended Abstract)
de réir: Joseph Y. Halpern, et al.
Foilsithe / Cruthaithe: (2017-07-01)

Sets, logic and categories /
de réir: Cameron, Peter J. (Peter Jephson), 1947-
Foilsithe / Cruthaithe: (1998)

Epistemic logic and CERMINE: a logical model for automatic extraction of structured metadata
de réir: Simone Cuconato
Foilsithe / Cruthaithe: (2021-07-01)

Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
de réir: Iris van de Pol, et al.
Foilsithe / Cruthaithe: (2016-06-01)

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
de réir: Éric Goubault, et al.
Foilsithe / Cruthaithe: (2018-09-01)

Multi-succedent sequent calculus for intuitionistic epistemic logic
de réir: Romas Alonderis
Foilsithe / Cruthaithe: (2024-12-01)

A basic epistemic logic and its algebraic model
de réir: Hércules de Araujo Feitosa, et al.
Foilsithe / Cruthaithe: (2023-12-01)

Reshaping The University: Responsibility, Indigenous Epistemes, and The Logic of the Gift
de réir: Marguerite Le Caze
Foilsithe / Cruthaithe: (2008-12-01)

A Knowledge Representation Framework Based on Epistemic Logic
de réir: Teodor Przymusiński
Foilsithe / Cruthaithe: (2014-12-01)

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
de réir: Francesco Belardinelli
Foilsithe / Cruthaithe: (2014-04-01)

Introduction to categories and categorical logic
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2010)

Topoi. The categorial analysis of logic /
de réir: 255858 Goldblatt, Robert
Foilsithe / Cruthaithe: (1983)

Reasoning, logic, and category mistakes
de réir: J. Martín Castro-Manzano
Foilsithe / Cruthaithe: (2017-04-01)

Review of Reshaping the University: Responsibility, Indigenous Epistemes, and the Logic of the Gift
de réir: Lynda Lange
Foilsithe / Cruthaithe: (2010-04-01)

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
de réir: Simon Busard, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
de réir: R van der Meyden, et al.
Foilsithe / Cruthaithe: (2016-06-01)

Epistemic logic for metadata modelling from scientific papers on Covid-19
de réir: Simone Cuconato
Foilsithe / Cruthaithe: (2021-12-01)

Quantum logic in dagger kernel categories
de réir: Heunen, C, et al.
Foilsithe / Cruthaithe: (2010)

Quantum logic in dagger kernel categories
de réir: Heunen, C, et al.
Foilsithe / Cruthaithe: (2009)

Quantum Logic in Dagger Kernel Categories
de réir: Heunen, C, et al.
Foilsithe / Cruthaithe: (2010)

Logic and categories as tools for building theories
de réir: Abramsky, S
Foilsithe / Cruthaithe: (2010)

Definition as a Logical and Linguistic Category
de réir: A. R. Blagova
Foilsithe / Cruthaithe: (2020-07-01)

Definiteness-indefiniteness category and logical quantification
de réir: Violetta Koseska-Toszewa
Foilsithe / Cruthaithe: (2015-11-01)

Epistemic Theodicy, Epistemic Evil, and Epistemic Responsibility
de réir: Vojko Strahovnik
Foilsithe / Cruthaithe: (2023-10-01)