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

书目详细资料
主要作者:	Kishida, K
格式:	Conference item
出版:	Electronic Proceedings in Theoretical Computer Science 2017

相似书籍

Dynamic epistemic logic /
由: Ditmarsch, Hans van, 1959-, et al.
出版: (2007)

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

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

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

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
由: Williamson, T
出版: (1992)

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

Epistemic Game Theory and Logic: Introduction
由: Paul Weirich
出版: (2017-03-01)

Tableau Systems for Epistemic Positional Logics
由: Mateusz Klonowski, et al.
出版: (2021-06-01)

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

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

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

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
由: Williamson, T
出版: (1990)

Epistemic Contradictions Do Not Threaten Classical Logic
由: Mayr, Philipp
出版: (2022)

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

A New Modal Framework for Epistemic Logic
由: Yanjing Wang
出版: (2017-07-01)

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

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

Sets, logic and categories /
由: Cameron, Peter J. (Peter Jephson), 1947-
出版: (1998)

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

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

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

Multi-succedent sequent calculus for intuitionistic epistemic logic
由: Romas Alonderis
出版: (2024-12-01)

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

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

A Knowledge Representation Framework Based on Epistemic Logic
由: Teodor Przymusiński
出版: (2014-12-01)

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
由: Francesco Belardinelli
出版: (2014-04-01)

Introduction to categories and categorical logic
由: Abramsky, S, et al.
出版: (2010)

Topoi. The categorial analysis of logic /
由: 255858 Goldblatt, Robert
出版: (1983)

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

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

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

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

Quantum logic in dagger kernel categories
由: Heunen, C, et al.
出版: (2010)

Quantum logic in dagger kernel categories
由: Heunen, C, et al.
出版: (2009)

Quantum Logic in Dagger Kernel Categories
由: Heunen, C, et al.
出版: (2010)

Logic and categories as tools for building theories
由: Abramsky, S
出版: (2010)

Definition as a Logical and Linguistic Category
由: A. R. Blagova
出版: (2020-07-01)

Definiteness-indefiniteness category and logical quantification
由: Violetta Koseska-Toszewa
出版: (2015-11-01)

Epistemic Theodicy, Epistemic Evil, and Epistemic Responsibility
由: Vojko Strahovnik
出版: (2023-10-01)

Semantic maps and the identification of cross-linguistic generic categories: evidentiality and its relation to epistemic modality
由: Kasper Boye
出版: (2010-01-01)