Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-9583
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic ; day:14 ; month:5 ; year:2018 ; pages:1-40
Journal of logic, language and information ; (14.5.2018), 1-40
- Urheber
-
van de Pol, Iris
- Beteiligte Personen und Organisationen
-
van Rooij, Iris
Szymanik, Jakub
SpringerLink (Online service)
- DOI
-
10.1007/s10849-018-9268-4
- URN
-
urn:nbn:de:101:1-2018071716564217258159
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:29 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
- van de Pol, Iris
- van Rooij, Iris
- Szymanik, Jakub
- SpringerLink (Online service)
Ähnliche Objekte (12)
Epistemic logic without closure
Epistemic Modals in Hypothetical Reasoning
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
Parameterized Partition Valuation for Parallel Logic Simulation
An epistemic logic of preferences
Epistemic logic with partial grasp
A Truthmaker-based Epistemic Logic
The logic of epistemic justification
Postdictive Reasoning in Epistemic Action Theory
Epistemic Reasoning in OWL 2 DL
Reasoning with logic programming
Logic and causal reasoning
Epistemic logic without closure
Epistemic Modals in Hypothetical Reasoning
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
Parameterized Partition Valuation for Parallel Logic Simulation
An epistemic logic of preferences
Epistemic logic with partial grasp
A Truthmaker-based Epistemic Logic
The logic of epistemic justification
Postdictive Reasoning in Epistemic Action Theory
Epistemic Reasoning in OWL 2 DL
Reasoning with logic programming
Logic and causal reasoning
Epistemic logic without closure
Epistemic Modals in Hypothetical Reasoning
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
Parameterized Partition Valuation for Parallel Logic Simulation
An epistemic logic of preferences
Epistemic logic with partial grasp
A Truthmaker-based Epistemic Logic
The logic of epistemic justification
Postdictive Reasoning in Epistemic Action Theory
Epistemic Reasoning in OWL 2 DL
Reasoning with logic programming