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-, 等
出版事項: (2007)

Indicative Conditionals and Dynamic Epistemic Logic
著者:: Wesley H. Holliday, 等
出版事項: (2017-07-01)

Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
著者:: Xiaojuan Chen, 等
出版事項: (2019-01-01)

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
著者:: Xiaojuan Chen, 等
出版事項: (2020-09-01)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
著者:: Williamson, T
出版事項: (1992)

Remarks on the Epistemic Interpretation of Paraconsistency Logic
著者:: Nicolás Lo Guercio, 等
出版事項: (2018-08-01)

Epistemic Game Theory and Logic: Introduction
著者:: Paul Weirich
出版事項: (2017-03-01)

Tableau Systems for Epistemic Positional Logics
著者:: Mateusz Klonowski, 等
出版事項: (2021-06-01)

Toward an Epistemic-Logical Theory of Categorization
著者:: Willem Conradie, 等
出版事項: (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, 等
出版事項: (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, 等
出版事項: (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, 等
出版事項: (2019-10-01)

An Epistemic Foundation for Authentication Logics (Extended Abstract)
著者:: Joseph Y. Halpern, 等
出版事項: (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, 等
出版事項: (2016-06-01)

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
著者:: Éric Goubault, 等
出版事項: (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, 等
出版事項: (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, 等
出版事項: (2010)

Topoi. The categorial analysis of logic /
著者:: 255858 Goldblatt, Robert
出版事項: (1983)

Reasoning, logic, and category mistakes
著者:: J. Martín Castro-Manzano
出版事項: (2017-04-01)

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, 等
出版事項: (2012-02-01)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
著者:: R van der Meyden, 等
出版事項: (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, 等
出版事項: (2010)

Quantum logic in dagger kernel categories
著者:: Heunen, C, 等
出版事項: (2009)

Quantum Logic in Dagger Kernel Categories
著者:: Heunen, C, 等
出版事項: (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)