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

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Kishida, K
Định dạng:	Conference item
Được phát hành:	Electronic Proceedings in Theoretical Computer Science 2017

Những quyển sách tương tự

Dynamic epistemic logic /
Bằng: Ditmarsch, Hans van, 1959-, et al.
Được phát hành: (2007)

Indicative Conditionals and Dynamic Epistemic Logic
Bằng: Wesley H. Holliday, et al.
Được phát hành: (2017-07-01)

Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
Bằng: Xiaojuan Chen, et al.
Được phát hành: (2019-01-01)

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
Bằng: Xiaojuan Chen, et al.
Được phát hành: (2020-09-01)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
Bằng: Williamson, T
Được phát hành: (1992)

Remarks on the Epistemic Interpretation of Paraconsistency Logic
Bằng: Nicolás Lo Guercio, et al.
Được phát hành: (2018-08-01)

Epistemic Game Theory and Logic: Introduction
Bằng: Paul Weirich
Được phát hành: (2017-03-01)

Tableau Systems for Epistemic Positional Logics
Bằng: Mateusz Klonowski, et al.
Được phát hành: (2021-06-01)

Toward an Epistemic-Logical Theory of Categorization
Bằng: Willem Conradie, et al.
Được phát hành: (2017-07-01)

The Time of Epistemic Domination: Notes on Modernity as an Oppressive Category
Được phát hành: (2022-04-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
Bằng: Dyckhoff, R, et al.
Được phát hành: (2010)

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
Bằng: Williamson, T
Được phát hành: (1990)

Epistemic Contradictions Do Not Threaten Classical Logic
Bằng: Mayr, Philipp
Được phát hành: (2022)

Probabilities and Epistemic Operations in the Logics of Quantum Computation
Bằng: Maria Luisa Dalla Chiara, et al.
Được phát hành: (2018-10-01)

A New Modal Framework for Epistemic Logic
Bằng: Yanjing Wang
Được phát hành: (2017-07-01)

Towards A Logical Account of Epistemic Causality
Bằng: Shakil M. Khan, et al.
Được phát hành: (2019-10-01)

An Epistemic Foundation for Authentication Logics (Extended Abstract)
Bằng: Joseph Y. Halpern, et al.
Được phát hành: (2017-07-01)

Sets, logic and categories /
Bằng: Cameron, Peter J. (Peter Jephson), 1947-
Được phát hành: (1998)

Epistemic logic and CERMINE: a logical model for automatic extraction of structured metadata
Bằng: Simone Cuconato
Được phát hành: (2021-07-01)

Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
Bằng: Iris van de Pol, et al.
Được phát hành: (2016-06-01)

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
Bằng: Éric Goubault, et al.
Được phát hành: (2018-09-01)

Multi-succedent sequent calculus for intuitionistic epistemic logic
Bằng: Romas Alonderis
Được phát hành: (2024-12-01)

A basic epistemic logic and its algebraic model
Bằng: Hércules de Araujo Feitosa, et al.
Được phát hành: (2023-12-01)

Reshaping The University: Responsibility, Indigenous Epistemes, and The Logic of the Gift
Bằng: Marguerite Le Caze
Được phát hành: (2008-12-01)

A Knowledge Representation Framework Based on Epistemic Logic
Bằng: Teodor Przymusiński
Được phát hành: (2014-12-01)

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
Bằng: Francesco Belardinelli
Được phát hành: (2014-04-01)

Introduction to categories and categorical logic
Bằng: Abramsky, S, et al.
Được phát hành: (2010)

Topoi. The categorial analysis of logic /
Bằng: 255858 Goldblatt, Robert
Được phát hành: (1983)

Review of Reshaping the University: Responsibility, Indigenous Epistemes, and the Logic of the Gift
Bằng: Lynda Lange
Được phát hành: (2010-04-01)

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
Bằng: Simon Busard, et al.
Được phát hành: (2012-02-01)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
Bằng: R van der Meyden, et al.
Được phát hành: (2016-06-01)

Epistemic logic for metadata modelling from scientific papers on Covid-19
Bằng: Simone Cuconato
Được phát hành: (2021-12-01)

Quantum logic in dagger kernel categories
Bằng: Heunen, C, et al.
Được phát hành: (2010)

Quantum logic in dagger kernel categories
Bằng: Heunen, C, et al.
Được phát hành: (2009)

Quantum Logic in Dagger Kernel Categories
Bằng: Heunen, C, et al.
Được phát hành: (2010)

Logic and categories as tools for building theories
Bằng: Abramsky, S
Được phát hành: (2010)

Definition as a Logical and Linguistic Category
Bằng: A. R. Blagova
Được phát hành: (2020-07-01)

Definiteness-indefiniteness category and logical quantification
Bằng: Violetta Koseska-Toszewa
Được phát hành: (2015-11-01)

Epistemic Theodicy, Epistemic Evil, and Epistemic Responsibility
Bằng: Vojko Strahovnik
Được phát hành: (2023-10-01)

Semantic maps and the identification of cross-linguistic generic categories: evidentiality and its relation to epistemic modality
Bằng: Kasper Boye
Được phát hành: (2010-01-01)