- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-9583
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
An Epistemic Separation Logic with Action Models ; day:10 ; month:8 ; year:2022 ; pages:1-28
Journal of logic, language and information ; (10.8.2022), 1-28
- Urheber
-
Ditmarsch, Hans van
Galmiche, Didier
Gawek, Marta
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10849-022-09372-z
- URN
-
urn:nbn:de:101:1-2022102603071116086852
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ditmarsch, Hans van
- Galmiche, Didier
- Gawek, Marta
- SpringerLink (Online service)
Ähnliche Objekte (12)
Epistemic logic without closure
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
An epistemic logic of preferences
The logic of epistemic justification
Epistemic logic with partial grasp
A Truthmaker-based Epistemic Logic
Simplicial models for the epistemic logic of faulty agents
Action models in inquisitive logic
A modal logic of epistemic games
Epistemic game theory and logic: Introduction
A Four-Valued Dynamic Epistemic Logic
Towards an Epistemic Logic of Concepts
Epistemic logic without closure
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
An epistemic logic of preferences
The logic of epistemic justification
Epistemic logic with partial grasp
A Truthmaker-based Epistemic Logic
Simplicial models for the epistemic logic of faulty agents
Action models in inquisitive logic
A modal logic of epistemic games
Epistemic game theory and logic: Introduction
A Four-Valued Dynamic Epistemic Logic
Towards an Epistemic Logic of Concepts
Epistemic logic without closure
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
An epistemic logic of preferences
The logic of epistemic justification
Epistemic logic with partial grasp
A Truthmaker-based Epistemic Logic
Simplicial models for the epistemic logic of faulty agents
Action models in inquisitive logic
A modal logic of epistemic games
Epistemic game theory and logic: Introduction
A Four-Valued Dynamic Epistemic Logic