Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
1, 2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
1, 2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Local properties in modal logic
Artificial intelligence, 2012-08, Vol.187-188 (Aug), p.133-155
2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On the definability of simulation and bisimulation in epistemic logic
Journal of logic and computation, 2014-12, Vol.24 (6), p.1209-1227
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
2010., 2010
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Connecting dynamic epistemic and temporal epistemic logics
Logic journal of the IGPL, 2013-06, Vol.21 (3), p.380-403
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Arbitrary arrow update logic
Artificial intelligence, 2017-01, Vol.242, p.80-106
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Second-order propositional modal logic: Expressiveness and completeness results
Artificial intelligence, 2018-10, Vol.263, p.3-45
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Dynamic Epistemic Logic. Synthese Library, Volume 337
2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Logic and the Foundations of the Theory of Games and Decisions: Introduction
Bulletin of economic research, 2001-10, Vol.53 (4), p.215-217
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Logics for Qualitative Coalitional Games
Logic journal of the IGPL, 2009-06, Vol.17 (3), p.299-321
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Fair decomposition of group obligations
Journal of logic and computation, 2017-10, Vol.27 (7), p.2043-2062
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Logics for Multiagent Systems
The AI magazine, 2012-09, Vol.33 (3), p.92-105
2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intuitionistic Epistemology and Modal Logics of Verification
Logic, Rationality, and Interaction, 2015, Vol.9394, p.295-307
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Logic of Knowing How
Logic, Rationality, and Interaction, 2015, Vol.9394, p.392-405
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verification of Games in the Game Description Language
Journal of logic and computation, 2009-12, Vol.19 (6), p.1127-1156
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
Logic, Rationality, and Interaction, 2015, Vol.9394, p.156-168
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Group knowledge is not always distributed (neither is it always implicit)
Mathematical social sciences, 1999-09, Vol.38 (2), p.215-240
1999
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Symbolic Model Checking for Dynamic Epistemic Logic
Logic, Rationality, and Interaction, 2015, Vol.9394, p.366-378
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Modal Logic with Bounded Quantification over Worlds
Journal of logic and computation, 2001-10, Vol.11 (5), p.701-715
2001
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Learning Actions Models: Qualitative Approach
Logic, Rationality, and Interaction, 2015, Vol.9394, p.40-52
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Sabotage Modal Logic:Some Model and Proof Theoretic Aspects
Logic, Rationality, and Interaction, 2015, Vol.9394, p.1-13
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Special Issue on LOFT Sevilla
Journal of philosophical logic, 2013, Vol.42 (6), p.795
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Logic and Ethics: An Integrated Model for Norms, Intentions and Actions
Logic, Rationality, and Interaction, 2015, Vol.9394, p.268-281
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs
Logic, Rationality, and Interaction, 2015, Vol.9394, p.243-254
2015
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 69
Suche als RSS-Feed
Aktive Filter
ThemaPhilosophy
ThemaLogic
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
14 weitere anzeigen...
Weniger anzeigen...
Kollektion
14 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...