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

Bibliografske podrobnosti
Glavni avtor:	Kishida, K
Format:	Conference item
Izdano:	Electronic Proceedings in Theoretical Computer Science 2017

Podobne knjige/članki

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

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

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

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

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
od: Williamson, T
Izdano: (1992)

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

Epistemic Game Theory and Logic: Introduction
od: Paul Weirich
Izdano: (2017-03-01)

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

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

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

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

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
od: Williamson, T
Izdano: (1990)

Epistemic Contradictions Do Not Threaten Classical Logic
od: Mayr, Philipp
Izdano: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
od: R van der Meyden, et al.
Izdano: (2016-06-01)

Epistemic logic for metadata modelling from scientific papers on Covid-19
od: Simone Cuconato
Izdano: (2021-12-01)

Quantum logic in dagger kernel categories
od: Heunen, C, et al.
Izdano: (2010)

Quantum logic in dagger kernel categories
od: Heunen, C, et al.
Izdano: (2009)

Quantum Logic in Dagger Kernel Categories
od: Heunen, C, et al.
Izdano: (2010)

Logic and categories as tools for building theories
od: Abramsky, S
Izdano: (2010)

Definition as a Logical and Linguistic Category
od: A. R. Blagova
Izdano: (2020-07-01)

Definiteness-indefiniteness category and logical quantification
od: Violetta Koseska-Toszewa
Izdano: (2015-11-01)

Epistemic Theodicy, Epistemic Evil, and Epistemic Responsibility
od: Vojko Strahovnik
Izdano: (2023-10-01)