Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "epistemic logic"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
"epistemic logic" »
"epidemic logic"
Showing
41
-
60
of
112
Search:
'"epistemic logic"'
,
query time: 0.08s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Dynamics and Management of Reasoning Processes
Published 2001
Springer Netherlands
Table of Contents:
“
... Temporal
Epistemic
Logic
-- The Dynamics of Default Reasoning -- Default Logic as Dynamic Doxastic Logic...
”
Read Now
42
Logic Programs, Norms and Action : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
... -- Symbolic Model Checking for Temporal-
Epistemic
Logic
-- GOAL Agents Instantiate Intention Logic -- Open...
”
Read Now
43
Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Confere...
Published 2020
Springer International Publishing
Table of Contents:
“
... Equivalence and
Epistemic
Logic
to Express Security Properties -- Derivation of Heard-Of Predicates From...
”
Read Now
44
Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
Published 2020
Springer International Publishing
Table of Contents:
“
... Logic -- Grounding Awareness on Belief Bases -- Ecumenical Modal Logic -- Inquisitive Dynamic
Epistemic
...
”
Read Now
45
Reasoning about Preference Dynamics
by
Liu, Fenrong
Published 2011
Springer Netherlands
Table of Contents:
“
...
Epistemic
Logic
-- Part III Preference over Worlds -- 3. Preference over Worlds: Static Logic -- 4...
”
Read Now
46
Discourses on social software
by
Eijck, J. van
Published 2009
Amsterdam University Press
Table of Contents:
“
... analysis? -- ch. 11: Dynamic
epistemic
logic
for protocol analysis -- ch. 12: Battle of the logics -- ch...
”
Call Number:
H85
Read Now
47
Database Programming Languages : 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Maintenance in XML P2P Databases -- Inconsistency Tolerance in P2P Data Integration: An
Epistemic
Logic
...
”
Read Now
48
Realism in Action : Essays in the Philosophy of the Social Sciences
Published 2003
Springer Netherlands
Table of Contents:
“
... -- The Archaeological Construction of the Past: Some Realist Moderations -- The Backward Induction Paradox and
Epistemic
...
”
Read Now
49
Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Agent Control -- Metareasoning for Multi-agent
Epistemic
Logics
-- Graded BDI Models for Agent...
”
Read Now
50
Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
Published 2023
Springer International Publishing
“
... such as dynamic semantics, logical dynamics, Dynamic
Epistemic
Logic
, Discourse Representation Theory, formal...
”
Read Now
51
Past and Present Interactions in Legal Reasoning and Logic
Published 2015
Springer International Publishing
Table of Contents:
“
... in Leibniz’s Legal Theory; Matthias Armgardt -- Suspensive Condition & Dynamic
Epistemic
Logic
; Sebastien...
”
Read Now
52
Engineering Multi-Agent Systems : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers
Published 2020
Springer International Publishing
Table of Contents:
“
... JavaScript Agent Programming Library -- SAT for
Epistemic
Logic
Using Belief Bases -- Jacamo-Web...
”
Read Now
53
Fundamentals of Software Engineering : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers
Published 2021
Springer International Publishing
Table of Contents:
“
... -- Incremental Refinement of Goal Models with Contracts -- Logic -- Proof Calculi for
Epistemic
Logics
...
”
Read Now
54
Philosophical Logic and Artificial Intelligence
Published 1989
Springer Netherlands
“
..., and
epistemic
logic
), intensional logics, non declaratives, presuppositions, and many other topics...
”
Read Now
55
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Published 2023
Springer International Publishing
Table of Contents:
“
... Temporal
Epistemic
Logic
...
”
Read Now
56
Philosophical Logic and Logical Philosophy
Published 1996
Springer Netherlands
Table of Contents:
“
... Models in Physics -- III. Logical Semantics -- 8. World Lines and their Role in
Epistemic
Logic
-- 9...
”
Read Now
57
CKBS ’90 : Proceedings of the International Working Conference on Cooperating Knowledge Based Systems 3–5 October 1990, University of Keele, UK
Published 1991
Springer London
Table of Contents:
“
... Multi-Agent Testbed: Developments and Experiments -- Interactions in Data/Knowledge Bases --
Epistemic
...
”
Read Now
58
Handbook of Epistemology
Published 2004
Springer Netherlands
Table of Contents:
“
... Knowledge -- 25.
Epistemic
Logic
-- 26. Knowledge and Art -- 27. Feminist Epistemology -- Index of Names...
”
Read Now
59
Patrick Suppes: Scientific Philosopher : Volume 1. Probability and Probabilistic Causality
Published 1994
Springer Netherlands
Table of Contents:
“
... Connections between
Epistemic
Logic
and the Theory of Nonadditive Probability / Comments by Patrick Suppes...
”
Read Now
60
Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... -- Formal Semantics of a Dynamic
Epistemic
Logic
for Describing Knowledge Properties of ?-Calculus Processes...
”
1
2
3
4
5
6
Back
Narrow Search
Year of Publication
From:
To:
Classification
006 - Special computer methods
38
160 - Logic
22
005 - Computer programming, programs & data
14
004 - Data processing & computer science
9
511 - General principles of mathematics
9
120 - Epistemology, causation & humankind
7
more ...
501 - Philosophy & theory
4
100 - Philosophy & psychology
2
000 - Computer science, information & general works
1
128 - Humankind
1
142 - Critical philosophy
1
190 - Modern western philosophy
1
300 - Social sciences
1
330 - Economics
1
340 - Law
1
510 - Mathematics
1
518 - Numerical analysis
1
530 - Physics
1
601 - Philosophy & theory
1
620 - Engineering & allied operations
1
see all ...
less ...
Language
English
111
German
1
Collection
Springer eBooks 2005-
72
Springer Book Archives -2004
31
Directory of Open Access Books
3
Elsevier eBook collection Mathematics
3
Cambridge Books Online
2
JSTOR Open Access Books
1
Author
Gabbay, Dov M.
4
Herzig, Andreas
3
Nerode, Anil
3
Pacuit, Eric
3
van der Hoek, Wiebe
3
Artemov, Sergei
2
more ...
Baltag, Alexandru
2
Benthem, Johan van
2
Berto, Francesco
2
Gupta, Amitabha
2
Hintikka, Jaakko
2
Kooi, Barteld
2
Marion, Mathieu
2
Meyer, John-Jules Ch
2
Rahman, Shahid
2
Roy, Olivier
2
Satoh, Ken
2
Sintonen, Matti
2
Treur, Jan
2
Verbrugge, Rineke
2
van Benthem, Johan
2
van Ditmarsch, Hans
2
Abraham, Erika
1
Aiello, Marco
1
Akama, Seiki
1
Albornoz, Alvaro de
1
Alechina, Natasha
1
Alvim, Mário S.
1
Anthony, Patricia
1
Arbab, Farhad
1
Areces, Carlos
1
Armgardt, Matthias
1
Artemov, S. N.
1
Artikis, Alexander
1
Bacharach, M.
1
Bai, Quan
1
Bakker, J.W.de
1
Baldoni, Matteo
1
Balduccini, Marcello
1
Baral, Chitta
1
Battistutti, Osvaldo C.
1
Beckert, Bernhard
1
Benevides, Mário
1
Bierman, Gavin
1
Blackburn, Patrick
1
Bogdan, R.
1
Bordini, Rafael H.
1
Burkhard, Hans-Dieter
1
Bystrov, P.I.
1
Canivez, Patrice
1
Cao, Jian
1
Carnielli, Walter
1
Chassagnard-Pinet, Sandrine
1
Chatzikokolakis, Kostas
1
Coello Coello, Carlos
1
Costa, Diana
1
Craven, Robert
1
D'Avila Garcez, Artur S.
1
Dediu, Adrian Horia
1
Deen, S.M.
1
Del Cerro, Farinas Luis
1
Deng, Dun
1
Dennis, Louise A.
1
Dix, Jürgen
1
Dostal, Robert J.
1
Duan, Zhenhua
1
Eijck, J. van
1
Embree, Lester
1
Faber, Wolfgang
1
Fariñas del Cerro, Luis
1
Faroldi, Federico L. G.
1
Fitting, M.
1
Fitting, Melvin
1
Fontaine, Pascal
1
Friedrich, Gerhard
1
Furbach, Ulrich
1
Galeotti, Lorenzo
1
Gebser, Martin
1
Gerard-Varet, Louis André
1
Girard, Patrick
1
Gochet, Paul
1
Gotsman, Alexey
1
Gottlob, Georg
1
Gotzhein, Reinhard
1
Governatori, Guido
1
Greco, Gianluigi
1
Grossi, Davide
1
Guo, Meiyun
1
Hadfi, Rafik
1
Havelund, Klaus
1
He, Xiangdong
1
Hendricks, Vincent F.
1
Hieke, A.
1
Hill, Richard
1
Hintikka, Merrill B.P.
1
Hitzler, Pascal
1
Hojjat, Hossein
1
Holliday, Wesley H.
1
Horty, John
1
Huang, Huaxin
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=3&lookfor=%22epistemic+logic%22&type=AllFields
Send by Email
×
Loading...