ERef Bayreuth
Fachgebiet: DDC
|
 | Eine Ebene nach oben ... |
- DDC (99)
- 100 Philosophie und Psychologie (99)
- 160 Logik (99)
- 100 Philosophie und Psychologie (99)
Anzahl der Einträge auf dieser Ebene: 99.
A
Ade, Leyla ; Michelini, Matteo ; Vigiani, Pietro:
Proportionality in Liquid Democracy and Representative Democracy.
2022
Veranstaltung: European Summer School in Logic, Language and Computation 2022 Student Session , 8th - 19th August, 2022 , National University of Ireland, Galway, Ireland.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
DOI: https://doi.org/10.21942/uva.20367702.v4
Proportionality in Liquid Democracy and Representative Democracy.
2022
Veranstaltung: European Summer School in Logic, Language and Computation 2022 Student Session , 8th - 19th August, 2022 , National University of Ireland, Galway, Ireland.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
DOI: https://doi.org/10.21942/uva.20367702.v4
Anglberger, Albert J. J. ; Lukic, Jonathan:
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ- and RMQ.
In: Studia Logica. Bd. 103 (2015) Heft 5 . - S. 985-1003.
DOI: https://doi.org/10.1007/s11225-015-9602-7
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ- and RMQ.
In: Studia Logica. Bd. 103 (2015) Heft 5 . - S. 985-1003.
DOI: https://doi.org/10.1007/s11225-015-9602-7
Anglberger, Albert J. J. ; Gratzl, Norbert ; Roy, Olivier:
Obligation, free choice, and the logic of weakest permissions.
In: The Review of Symbolic Logic. Bd. 8 (2015) Heft 4 . - S. 807-827.
DOI: https://doi.org/10.1017/S1755020315000209
Obligation, free choice, and the logic of weakest permissions.
In: The Review of Symbolic Logic. Bd. 8 (2015) Heft 4 . - S. 807-827.
DOI: https://doi.org/10.1017/S1755020315000209
Anglberger, Albert J. J. ; Dong, Huimin ; Roy, Olivier:
Open reading without free choice.
In: Cariani, Fabrizio ; Grossi, Davide ; Meheus, Joke ; Parent, Xavier (Hrsg.): Deontic logic and normative systems. - Cham : Springer, 2014 . - S. 19-32 . - (Lecture Notes in Computer Science ; 8554 )
DOI: https://doi.org/10.1007/978-3-319-08615-6_3
Open reading without free choice.
In: Cariani, Fabrizio ; Grossi, Davide ; Meheus, Joke ; Parent, Xavier (Hrsg.): Deontic logic and normative systems. - Cham : Springer, 2014 . - S. 19-32 . - (Lecture Notes in Computer Science ; 8554 )
DOI: https://doi.org/10.1007/978-3-319-08615-6_3
Anglberger, Albert J. J.:
Alternative Reductions for Dynamic Deontic Logics.
In: Hieke, Alexander ; Leitgeb, Hannes (Hrsg.): Reduction - abstraction - analysis : Proceedings of the 31th International Ludwig Wittgenstein Symposium in Kirchberg, 2008. - Heusenstamm : Ontos Verlag, 2009 . - S. 179-192 . - (Publications of the Austrian Ludwig Wittgenstein Society. New Series ; 11 )
DOI: https://doi.org/10.1515/9783110328875.179
Alternative Reductions for Dynamic Deontic Logics.
In: Hieke, Alexander ; Leitgeb, Hannes (Hrsg.): Reduction - abstraction - analysis : Proceedings of the 31th International Ludwig Wittgenstein Symposium in Kirchberg, 2008. - Heusenstamm : Ontos Verlag, 2009 . - S. 179-192 . - (Publications of the Austrian Ludwig Wittgenstein Society. New Series ; 11 )
DOI: https://doi.org/10.1515/9783110328875.179
Anglberger, Albert J. J.:
Anfänge einer Logik öffentlich-deontischer Verlautbarung.
In: Kreuzbauer, Günther ; Gratzl, Norbert ; Hiebl, Ewald (Hrsg.): Rhetorische Wissenschaft : Rede und Argumentation in Theorie und Praxis. - Wien : LIT Verlag, 2008 . - S. 95-114 . - (Salzburger Beiträge zu Rhetorik und Argumentationstheorie ; 4 )
Anfänge einer Logik öffentlich-deontischer Verlautbarung.
In: Kreuzbauer, Günther ; Gratzl, Norbert ; Hiebl, Ewald (Hrsg.): Rhetorische Wissenschaft : Rede und Argumentation in Theorie und Praxis. - Wien : LIT Verlag, 2008 . - S. 95-114 . - (Salzburger Beiträge zu Rhetorik und Argumentationstheorie ; 4 )
Anglberger, Albert J. J.:
Dynamic deontic logic and its paradoxes.
In: Studia Logica. Bd. 89 (2008) Heft 3 . - S. 427-435.
DOI: https://doi.org/10.1007/s11225-008-9135-4
Dynamic deontic logic and its paradoxes.
In: Studia Logica. Bd. 89 (2008) Heft 3 . - S. 427-435.
DOI: https://doi.org/10.1007/s11225-008-9135-4
Anglberger, Albert J. J.:
Non-Kognitivismus und Normenlogik : Betrachtungen zu einer mehrwertigen Mögliche-Welten-Semantik.
In: Kreuzbauer, Günther ; Gratzl, Norbert ; Hiebl, Ewald (Hrsg.): Persuasion und Wissenschaft : aktuelle Fragestellungen von Rhetorik und Argumentationstheorie. - Wien : LIT, 2007 . - S. 227-240
Non-Kognitivismus und Normenlogik : Betrachtungen zu einer mehrwertigen Mögliche-Welten-Semantik.
In: Kreuzbauer, Günther ; Gratzl, Norbert ; Hiebl, Ewald (Hrsg.): Persuasion und Wissenschaft : aktuelle Fragestellungen von Rhetorik und Argumentationstheorie. - Wien : LIT, 2007 . - S. 227-240
Anglberger, Albert J. J.:
Eine Mögliche-Welten-Semantik für G. H. von Wrights ersten Kalkül der deontischen Logik.
In: Conceptus. Bd. 36 (2004) Heft 89-90 . - S. 53-70.
Eine Mögliche-Welten-Semantik für G. H. von Wrights ersten Kalkül der deontischen Logik.
In: Conceptus. Bd. 36 (2004) Heft 89-90 . - S. 53-70.
B
Bílková, Marta ; Christoff, Zoé ; Roy, Olivier:
Revisiting Epistemic Logic with Names.
In: Halpern, Joseph ; Perea, Andrés (Hrsg.): Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge, Beijing, China, June 25-27, 2021. - Beijing : Open Publishing Association, 2021 . - S. 39-54 . - (Electronic Proceedings in Theoretical Computer Science ; 335 )
DOI: https://doi.org/10.4204/EPTCS.335.4
Revisiting Epistemic Logic with Names.
In: Halpern, Joseph ; Perea, Andrés (Hrsg.): Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge, Beijing, China, June 25-27, 2021. - Beijing : Open Publishing Association, 2021 . - S. 39-54 . - (Electronic Proceedings in Theoretical Computer Science ; 335 )
DOI: https://doi.org/10.4204/EPTCS.335.4
Baltag, Alexandru ; Christoff, Zoé ; Rendsvig, Rasmus K. ; Smets, Sonja:
Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks.
In: Proceedings of the 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016). - 2016
Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks.
In: Proceedings of the 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016). - 2016
Baltag, Alexandru ; Christoff, Zoé ; Hansen, Jens Ulrik ; Smets, Sonja:
Logical Models of Informational Cascades.
In: van Benthem, Johan ; Lui, Fenrong (Hrsg.): Logic across the University : Foundations and Applications. - London, UK : College Publications, 2013 . - S. 405-432 . - (Studies in Logic ; 47 )
Logical Models of Informational Cascades.
In: van Benthem, Johan ; Lui, Fenrong (Hrsg.): Logic across the University : Foundations and Applications. - London, UK : College Publications, 2013 . - S. 405-432 . - (Studies in Logic ; 47 )
Borgoni, Cristina:
Interpretando la Paradoja de Moore : la irracionalidad de una oración mooreana.
In: Theoria : An International Journal for Theory, History and Foundations of Science. Bd. 23 (2008) Heft 2 . - S. 145-161.
DOI: https://doi.org/10.1387/theoria.392
Interpretando la Paradoja de Moore : la irracionalidad de una oración mooreana.
In: Theoria : An International Journal for Theory, History and Foundations of Science. Bd. 23 (2008) Heft 2 . - S. 145-161.
DOI: https://doi.org/10.1387/theoria.392
C
Christoff, Zoé ; Gratzl, Norbert ; Roy, Olivier:
Priority Merge and Intersection Modalities.
In: The Review of Symbolic Logic. Bd. 14 (2021) . - S. 1-33.
DOI: https://doi.org/10.1017/S1755020321000058
Priority Merge and Intersection Modalities.
In: The Review of Symbolic Logic. Bd. 14 (2021) . - S. 1-33.
DOI: https://doi.org/10.1017/S1755020321000058
Christoff, Zoé ; Grossi, Davide:
Binary Voting with Delegable Proxy : An Analysis of Liquid Democracy.
In: Lang, Jérôme (Hrsg.): Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge. - Den Haag, Niederlande : Open Publishing Association, 2017 . - S. 134-150 . - (Electronic Proceedings in Theoretical Computer Science ; 251 )
DOI: https://doi.org/10.4204/EPTCS.251.10
Binary Voting with Delegable Proxy : An Analysis of Liquid Democracy.
In: Lang, Jérôme (Hrsg.): Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge. - Den Haag, Niederlande : Open Publishing Association, 2017 . - S. 134-150 . - (Electronic Proceedings in Theoretical Computer Science ; 251 )
DOI: https://doi.org/10.4204/EPTCS.251.10
Christoff, Zoé ; Grossi, Davide:
Stability in Binary Opinion Diffusion.
In: Baltag, Alexandru ; Seligman, Jeremy ; Yamada, Tomoyuki (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer, 2017 . - S. 166-180 . - (Lecture Notes in Computer Science ; 10455 )
DOI: https://doi.org/10.1007/978-3-662-55665-8_12
Stability in Binary Opinion Diffusion.
In: Baltag, Alexandru ; Seligman, Jeremy ; Yamada, Tomoyuki (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer, 2017 . - S. 166-180 . - (Lecture Notes in Computer Science ; 10455 )
DOI: https://doi.org/10.1007/978-3-662-55665-8_12
Christoff, Zoé:
Dynamic Logics of Networks : Information Flow and the Spread of Opinion.
Amsterdam , 2016
( Dissertation, 2016, University of Amsterdam, Institute for logic, Language and Computation)
Dynamic Logics of Networks : Information Flow and the Spread of Opinion.
Amsterdam , 2016
( Dissertation, 2016, University of Amsterdam, Institute for logic, Language and Computation)
Christoff, Zoé ; Hansen, Jens Ulrik ; Proietti, Carlo:
Reflecting on Social Influence in Networks.
In: Journal of Logic, Language and Information. Bd. 25 (2016) Heft 3-4 . - S. 299-333.
DOI: https://doi.org/10.1007/s10849-016-9242-y
Reflecting on Social Influence in Networks.
In: Journal of Logic, Language and Information. Bd. 25 (2016) Heft 3-4 . - S. 299-333.
DOI: https://doi.org/10.1007/s10849-016-9242-y
Christoff, Zoé ; Hansen, Jens Ulrik:
A logic for diffusion in social networks.
In: Journal of Applied Logic. Bd. 13 (2015) Heft 1 . - S. 48-77.
DOI: https://doi.org/10.1016/j.jal.2014.11.011
A logic for diffusion in social networks.
In: Journal of Applied Logic. Bd. 13 (2015) Heft 1 . - S. 48-77.
DOI: https://doi.org/10.1016/j.jal.2014.11.011
Christoff, Zoé ; Rendsvig, Rasmus K.:
Dynamic Logics for Threshold Models and their Epistemic Extension.
2014
Veranstaltung: Epistemic Logic for Individual, Social, and Interactive Epistemology Workshop (ELISIEM) , 11.-15. Aug. 2014 , Tübingen, Deutschland.
(Veranstaltungsbeitrag: Workshop , Paper )
Dynamic Logics for Threshold Models and their Epistemic Extension.
2014
Veranstaltung: Epistemic Logic for Individual, Social, and Interactive Epistemology Workshop (ELISIEM) , 11.-15. Aug. 2014 , Tübingen, Deutschland.
(Veranstaltungsbeitrag: Workshop , Paper )
Logic and Interactive Rationality : Yearbook 2012. Volume I.
Hrsg.: Christoff, Zoé ; Galeazzi, Paolo ; Gierasimczuk, Nina ; Marcoci, Alexandru ; Smets, Sonja
Amsterdam, Niederlande : Institute for Logic Language and Computation , 2014
Hrsg.: Christoff, Zoé ; Galeazzi, Paolo ; Gierasimczuk, Nina ; Marcoci, Alexandru ; Smets, Sonja
Amsterdam, Niederlande : Institute for Logic Language and Computation , 2014
Logic and Interactive Rationality : Yearbook 2012. Volume II.
Hrsg.: Christoff, Zoé ; Galeazzi, Paolo ; Gierasimczuk, Nina ; Marcoci, Alexandru ; Smets, Sonja
Amsterdam, Niederlande : Institute for Logic Language and Computation , 2014
Hrsg.: Christoff, Zoé ; Galeazzi, Paolo ; Gierasimczuk, Nina ; Marcoci, Alexandru ; Smets, Sonja
Amsterdam, Niederlande : Institute for Logic Language and Computation , 2014
Christoff, Zoé:
A Logic for Social Influence through Communication.
In: Lorini, Emiliano (Hrsg.): Proceedings of Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013). - CEUR, 2013 . - S. 31-39 . - (CEUR Workshop Proceedings ; 1113 )
A Logic for Social Influence through Communication.
In: Lorini, Emiliano (Hrsg.): Proceedings of Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013). - CEUR, 2013 . - S. 31-39 . - (CEUR Workshop Proceedings ; 1113 )
Christoff, Zoé ; Hansen, Jens Ulrik:
A two-tiered formalization of social influence.
In: Grossi, Davide ; Roy, Olivier ; Huang, Huaxin (Hrsg.): Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. - Berlin; Heidelberg : Springer, 2013 . - S. 68-81 . - (Lecture Notes in Computer Science ; 8196 )
DOI: https://doi.org/10.1007/978-3-642-40948-6_6
A two-tiered formalization of social influence.
In: Grossi, Davide ; Roy, Olivier ; Huang, Huaxin (Hrsg.): Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. - Berlin; Heidelberg : Springer, 2013 . - S. 68-81 . - (Lecture Notes in Computer Science ; 8196 )
DOI: https://doi.org/10.1007/978-3-642-40948-6_6
D
Dong, Huimin ; Roy, Olivier:
Dynamic logic of legal competences.
In: Journal of Logic, Language and Information. Bd. 30 (2021) Heft 4 . - S. 701-724.
DOI: https://doi.org/10.1007/s10849-021-09340-z
Dynamic logic of legal competences.
In: Journal of Logic, Language and Information. Bd. 30 (2021) Heft 4 . - S. 701-724.
DOI: https://doi.org/10.1007/s10849-021-09340-z
Dong, Huimin:
Permission in Non-Monotonic Normative Reasoning.
Bayreuth , 2017 . - XIII, 159 S.
( Dissertation, 2017 , Universität Bayreuth, Kulturwissenschaftliche Fakultät)
Permission in Non-Monotonic Normative Reasoning.
Bayreuth , 2017 . - XIII, 159 S.
( Dissertation, 2017 , Universität Bayreuth, Kulturwissenschaftliche Fakultät)
Dong, Huimin ; Roy, Olivier:
Dynamic Logic of Power and Immunity.
In: Baltag, Alexandru ; Seligman, Jeremy ; Yamada, Tomoyuki (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer, 2017 . - S. 123-136 . - (Lecture Notes in Computer Science ; 10455 )
DOI: https://doi.org/10.1007/978-3-662-55665-8_9
Dynamic Logic of Power and Immunity.
In: Baltag, Alexandru ; Seligman, Jeremy ; Yamada, Tomoyuki (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer, 2017 . - S. 123-136 . - (Lecture Notes in Computer Science ; 10455 )
DOI: https://doi.org/10.1007/978-3-662-55665-8_9
Dong, Huimin ; Roy, Olivier:
Three Deontic Logics for Rational Agency in Games.
In: Studies in Logic. Bd. 8 (2015) Heft 4 . - S. 7-31.
Three Deontic Logics for Rational Agency in Games.
In: Studies in Logic. Bd. 8 (2015) Heft 4 . - S. 7-31.
Dégremont, Cédric ; Roy, Olivier:
Agreement Theorems in Dynamic-Epistemic Logic.
In: Journal of Philosophical Logic. Bd. 41 (2012) Heft 4 . - S. 735-764.
DOI: https://doi.org/10.1007/s10992-012-9236-4
Agreement Theorems in Dynamic-Epistemic Logic.
In: Journal of Philosophical Logic. Bd. 41 (2012) Heft 4 . - S. 735-764.
DOI: https://doi.org/10.1007/s10992-012-9236-4
F
Fink, Julian:
The Essence of Structural Irrationality.
In: Journal of Ethics & Social Philosophy. Bd. 26 (2023) Heft 2 . - S. 377-419.
DOI: https://doi.org/10.26556/jesp.v26i2.1886
The Essence of Structural Irrationality.
In: Journal of Ethics & Social Philosophy. Bd. 26 (2023) Heft 2 . - S. 377-419.
DOI: https://doi.org/10.26556/jesp.v26i2.1886
G
Grossi, Davide ; Roy, Olivier:
Introduction : Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4).
In: Journal of Logic and Computation. Bd. 28 (2018) Heft 8 . - S. 1713-1714.
DOI: https://doi.org/10.1093/logcom/exv024
Introduction : Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4).
In: Journal of Logic and Computation. Bd. 28 (2018) Heft 8 . - S. 1713-1714.
DOI: https://doi.org/10.1093/logcom/exv024
Logic, Rationality, and Interaction.
Hrsg.: Grossi, Davide ; Roy, Olivier ; Huang, Huaxin
Berlin : Springer , 2013 . - (Lecture Notes in Computer Science ; 8196 )
DOI: https://doi.org/10.1007/978-3-642-40948-6
Hrsg.: Grossi, Davide ; Roy, Olivier ; Huang, Huaxin
Berlin : Springer , 2013 . - (Lecture Notes in Computer Science ; 8196 )
DOI: https://doi.org/10.1007/978-3-642-40948-6
Gauderis, Tjerk ; van de Putte, Frederik:
Abduction of generalizations.
In: Theoria : An International Journal for Theory, History and Foundations of Science. Bd. 27 (2012) Heft 3 . - S. 345-364.
DOI: https://doi.org/10.1387/theoria.4059
Abduction of generalizations.
In: Theoria : An International Journal for Theory, History and Foundations of Science. Bd. 27 (2012) Heft 3 . - S. 345-364.
DOI: https://doi.org/10.1387/theoria.4059
H
Heidemann, Marcel:
Judgment aggregation and minimal change : a model of consensus formation by belief revision.
In: Theory and Decision. Bd. 85 (2018) . - S. 61-97.
DOI: https://doi.org/10.1007/s11238-017-9642-8
Judgment aggregation and minimal change : a model of consensus formation by belief revision.
In: Theory and Decision. Bd. 85 (2018) . - S. 61-97.
DOI: https://doi.org/10.1007/s11238-017-9642-8
Epistemic Logic : 5 Questions.
Hrsg.: Hendricks, Vincent F. ; Roy, Olivier
Kopenhagen : Automatic Press/VIP , 2010
Hrsg.: Hendricks, Vincent F. ; Roy, Olivier
Kopenhagen : Automatic Press/VIP , 2010
K
Kulicki, Piotr ; Roy, Olivier:
From Permissions to Obligations and Beyond : An Editorial.
In: Studia Logica. Bd. 108 (2020) Heft 1 . - S. 1-3.
DOI: https://doi.org/10.1007/s11225-019-09881-2
From Permissions to Obligations and Beyond : An Editorial.
In: Studia Logica. Bd. 108 (2020) Heft 1 . - S. 1-3.
DOI: https://doi.org/10.1007/s11225-019-09881-2
Klein, Dominik ; Roy, Olivier ; Gratzl, Norbert:
Knowledge, belief, normality, and introspection.
In: Synthese. Bd. 195 (2018) . - S. 4343-4372.
DOI: https://doi.org/10.1007/s11229-017-1353-8
Knowledge, belief, normality, and introspection.
In: Synthese. Bd. 195 (2018) . - S. 4343-4372.
DOI: https://doi.org/10.1007/s11229-017-1353-8
Kishida, Kohei ; Rafiee Rad, Soroush ; Sacks, Joshua ; Zhong, Shengyang:
Categorical Equivalence Between Orthomodular Dynamic Algebras and Complete Orthomodular Lattices.
In: International Journal of Theoretical Physics. Bd. 56 (2017) Heft 12 . - S. 4060-4072.
DOI: https://doi.org/10.1007/s10773-017-3433-4
Categorical Equivalence Between Orthomodular Dynamic Algebras and Complete Orthomodular Lattices.
In: International Journal of Theoretical Physics. Bd. 56 (2017) Heft 12 . - S. 4060-4072.
DOI: https://doi.org/10.1007/s10773-017-3433-4
Klein, Dominik ; Rendsvig, Rasmus K.:
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.
In: Baltag, Alexandru ; Seligman, Jeremy ; Yamada, Tomoyuki (Hrsg.): Logic, rationality, and interaction. - Berlin : Springer, 2017 . - S. 108-122 . - (Lecture Notes in Computer Science ; 10455 )
DOI: https://doi.org/10.1007/978-3-662-55665-8_8
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.
In: Baltag, Alexandru ; Seligman, Jeremy ; Yamada, Tomoyuki (Hrsg.): Logic, rationality, and interaction. - Berlin : Springer, 2017 . - S. 108-122 . - (Lecture Notes in Computer Science ; 10455 )
DOI: https://doi.org/10.1007/978-3-662-55665-8_8
Klein, Dominik ; Pacuit, Eric:
Focusing on campaigns.
In: Başkent, Can ; Moss, Lawrence S. ; Ramanujam, Ramaswamy (Hrsg.): Rohit Parikh on Logic, Language and Society. - Cham : Springer, 2017 . - S. 77-89 . - (Outstanding Contributions to Logic ; 11 )
DOI: https://doi.org/10.1007/978-3-319-47843-2_5
Focusing on campaigns.
In: Başkent, Can ; Moss, Lawrence S. ; Ramanujam, Ramaswamy (Hrsg.): Rohit Parikh on Logic, Language and Society. - Cham : Springer, 2017 . - S. 77-89 . - (Outstanding Contributions to Logic ; 11 )
DOI: https://doi.org/10.1007/978-3-319-47843-2_5
Klein, Dominik ; Gratzl, Norbert ; Roy, Olivier:
Introspection, Normality and Agglomeration.
In: van der Hoek, Wiebe ; Holliday, Wesley H. ; Wang, Wen-fang (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer, 2015 . - S. 195-206 . - (Lecture Notes in Computer Science ; 9394 )
DOI: https://doi.org/10.1007/978-3-662-48561-3_16
Introspection, Normality and Agglomeration.
In: van der Hoek, Wiebe ; Holliday, Wesley H. ; Wang, Wen-fang (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer, 2015 . - S. 195-206 . - (Lecture Notes in Computer Science ; 9394 )
DOI: https://doi.org/10.1007/978-3-662-48561-3_16
Klein, Dominik ; Pacuit, Eric:
Changing Types : Information Dynamics for Qualitative Type Spaces.
In: Studia Logica. Bd. 102 (2014) Heft 2 . - S. 297-319.
DOI: https://doi.org/10.1007/s11225-014-9545-4
Changing Types : Information Dynamics for Qualitative Type Spaces.
In: Studia Logica. Bd. 102 (2014) Heft 2 . - S. 297-319.
DOI: https://doi.org/10.1007/s11225-014-9545-4
L
Liu, F. ; Roy, Olivier:
Advances in Belief Dynamics : introduction.
In: Synthese. Bd. 173 (2010) Heft 2 . - S. 123-126.
DOI: https://doi.org/10.1007/s11229-009-9710-x
Advances in Belief Dynamics : introduction.
In: Synthese. Bd. 173 (2010) Heft 2 . - S. 123-126.
DOI: https://doi.org/10.1007/s11229-009-9710-x
M
Markovich, Réka ; Roy, Olivier:
Cause of Action and the Right to Know : A Formal Conceptual Analysis of the Texas Senate Bill 25 Case.
In: Schweighofer, Erich (Hrsg.): Legal Knowledge and Information Systems. - Amsterdam : IOS Press, 2021 . - S. 217-224 . - (Frontiers in Artificial Intelligence and Applications ; 346 )
DOI: https://doi.org/10.3233/FAIA210340
Cause of Action and the Right to Know : A Formal Conceptual Analysis of the Texas Senate Bill 25 Case.
In: Schweighofer, Erich (Hrsg.): Legal Knowledge and Information Systems. - Amsterdam : IOS Press, 2021 . - S. 217-224 . - (Frontiers in Artificial Intelligence and Applications ; 346 )
DOI: https://doi.org/10.3233/FAIA210340
Markovich, Réka ; Roy, Olivier:
A Logical Analysis of Freedom of Thought.
In: Liu, Fenrong ; Marra, Alessandra ; Portner, Paul ; Van De Putte, Frederik (Hrsg.): Deontic Logic and Normative Systems : 15th International Conference, DEON 2020/2021. - London : College Publication, 2021 . - S. 245-260
A Logical Analysis of Freedom of Thought.
In: Liu, Fenrong ; Marra, Alessandra ; Portner, Paul ; Van De Putte, Frederik (Hrsg.): Deontic Logic and Normative Systems : 15th International Conference, DEON 2020/2021. - London : College Publication, 2021 . - S. 245-260
Marra, Alessandra:
Objective Oughts and a Puzzle about Futurity.
In: Roy, Olivier ; Tamminga, Allard ; Willer, Malte (Hrsg.): Deontic Logic and Normative Systems. - London : College Publications, 2016 . - S. 171-186
Objective Oughts and a Puzzle about Futurity.
In: Roy, Olivier ; Tamminga, Allard ; Willer, Malte (Hrsg.): Deontic Logic and Normative Systems. - London : College Publications, 2016 . - S. 171-186
Marra, Alessandra ; Klein, Dominik:
Logic and Ethics : An Integrated Model for Norms, Intentions and Actions.
In: van der Hoek, Wiebe ; Holliday, Wesley H. ; Wang, Wen-fang (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer, 2015 . - S. 268-281 . - (Lecture Notes in Computer Science ; 9394 )
DOI: https://doi.org/10.1007/978-3-662-48561-3_22
Logic and Ethics : An Integrated Model for Norms, Intentions and Actions.
In: van der Hoek, Wiebe ; Holliday, Wesley H. ; Wang, Wen-fang (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer, 2015 . - S. 268-281 . - (Lecture Notes in Computer Science ; 9394 )
DOI: https://doi.org/10.1007/978-3-662-48561-3_22
Marra, Alessandra:
For a Dynamic Semantics of Necessity Deontic Modals.
In: Cariani, Fabrizio ; Grossi, Davide ; Meheus, Joke ; Parent, Xavier (Hrsg.): Deontic Logic and Normative Systems. - Cham : Springer, 2014 . - S. 124-138 . - (Lecture Notes in Computer Science ; 8554 )
DOI: https://doi.org/10.1007/978-3-319-08615-6_10
For a Dynamic Semantics of Necessity Deontic Modals.
In: Cariani, Fabrizio ; Grossi, Davide ; Meheus, Joke ; Parent, Xavier (Hrsg.): Deontic Logic and Normative Systems. - Cham : Springer, 2014 . - S. 124-138 . - (Lecture Notes in Computer Science ; 8554 )
DOI: https://doi.org/10.1007/978-3-319-08615-6_10
Meheus, Joke ; Beirlaen, Mathieu ; van de Putte, Frederik:
Avoiding Deontic Explosion by Contextually Restricting Aggregation.
In: Governatori, Guido (Hrsg.): Deontic logic in computer science : 10th international conference : proceedings. - Berlin : Springer, 2010 . - S. 148-165 . - (Lecture Notes in Computer Science ; 6181 )
DOI: https://doi.org/10.1007/978-3-642-14183-6_12
Avoiding Deontic Explosion by Contextually Restricting Aggregation.
In: Governatori, Guido (Hrsg.): Deontic logic in computer science : 10th international conference : proceedings. - Berlin : Springer, 2010 . - S. 148-165 . - (Lecture Notes in Computer Science ; 6181 )
DOI: https://doi.org/10.1007/978-3-642-14183-6_12
P
Pacuit, Eric ; Roy, Olivier:
A Dynamic Analysis of Interactive Rationality.
In: Redmond, Juan ; Pombo Martins, Olga ; Nepomuceno Fernández, Ángel (Hrsg.): Epistemology, Knowledge and the Impact of Interaction. - Cham : Springer, 2016 . - S. 187-206 . - (Logic, Epistemology, and the Unity of Science ; 38 )
DOI: https://doi.org/10.1007/978-3-319-26506-3_6
A Dynamic Analysis of Interactive Rationality.
In: Redmond, Juan ; Pombo Martins, Olga ; Nepomuceno Fernández, Ángel (Hrsg.): Epistemology, Knowledge and the Impact of Interaction. - Cham : Springer, 2016 . - S. 187-206 . - (Logic, Epistemology, and the Unity of Science ; 38 )
DOI: https://doi.org/10.1007/978-3-319-26506-3_6
Pacuit, Eric ; Roy, Olivier:
Epistemic Foundations of Game Theory.
In: Stanford Encyclopedia of Philosophy. - Stanford, Calif. : The Metaphysics Research Lab, Stanford Univ., 2016
Epistemic Foundations of Game Theory.
In: Stanford Encyclopedia of Philosophy. - Stanford, Calif. : The Metaphysics Research Lab, Stanford Univ., 2016
Pacuit, Eric ; Roy, Olivier:
Logic, Interaction and Collective Agency.
2010
Veranstaltung: European Summer School in Logic, Language & Information , 9-20.Aug.2010 , University of Copenhagen, Denmark.
(Veranstaltungsbeitrag: Workshop , Vorlesung )
Logic, Interaction and Collective Agency.
2010
Veranstaltung: European Summer School in Logic, Language & Information , 9-20.Aug.2010 , University of Copenhagen, Denmark.
(Veranstaltungsbeitrag: Workshop , Vorlesung )
Paris, Jeff B. ; Rafiee Rad, Soroush:
A Note on the Least Informative Model of a Theory.
In: Ferreira, Fernando ; Löwe, Benedikt ; Mayordomo, Elvira ; Gomes, Luis Mendes (Hrsg.): Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010 ; Proceedings. - Berlin; Heidelberg : Springer, 2010 . - S. 342-351 . - (Lecture Notes in Computer Science ; 6158 )
DOI: https://doi.org/10.1007/978-3-642-13962-8_38
A Note on the Least Informative Model of a Theory.
In: Ferreira, Fernando ; Löwe, Benedikt ; Mayordomo, Elvira ; Gomes, Luis Mendes (Hrsg.): Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010 ; Proceedings. - Berlin; Heidelberg : Springer, 2010 . - S. 342-351 . - (Lecture Notes in Computer Science ; 6158 )
DOI: https://doi.org/10.1007/978-3-642-13962-8_38
Paris, Jeff B. ; Rafiee Rad, Soroush:
Inference Processes for Quantified Predicate Knowledge.
In: Hodges, Wilfrid ; de Queiroz, Ruy (Hrsg.): Logic, Language, Information and Computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008 ; proceedings. - Berlin ; Heidelberg : Springer, 2008 . - S. 249-259 . - (Lecture Notes in Computer Science ; 5510 )
DOI: https://doi.org/10.1007/978-3-540-69937-8_22
Inference Processes for Quantified Predicate Knowledge.
In: Hodges, Wilfrid ; de Queiroz, Ruy (Hrsg.): Logic, Language, Information and Computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008 ; proceedings. - Berlin ; Heidelberg : Springer, 2008 . - S. 249-259 . - (Lecture Notes in Computer Science ; 5510 )
DOI: https://doi.org/10.1007/978-3-540-69937-8_22
Pacuit, Eric ; Roy, Olivier:
Preference based belief dynamics.
In: Bonanno, Giacomo ; van der Hoek, Wiebe ; Wooldridge, Michael (Hrsg.): Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2006). - Liverpool, UK : University of Liverpool, 2006 . - S. 141-150
Preference based belief dynamics.
In: Bonanno, Giacomo ; van der Hoek, Wiebe ; Wooldridge, Michael (Hrsg.): Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2006). - Liverpool, UK : University of Liverpool, 2006 . - S. 141-150
R
Roy, Olivier ; Kulicki, Piotr:
Legal Permissibility and Legal Competences in Hierarchical Systems with Strong Permission.
In: Journal of Zhejiang University: Humanities and Social Sciences. Bd. 50 (2020) Heft 5 . - S. 51-62.
Legal Permissibility and Legal Competences in Hierarchical Systems with Strong Permission.
In: Journal of Zhejiang University: Humanities and Social Sciences. Bd. 50 (2020) Heft 5 . - S. 51-62.
Roy, Olivier ; Dong, Huimin ; Gratzl, Norbert:
Open Reading and Free Choice Permission : A Perspective in Substructural Logics.
In: Liao, Beishui (Hrsg.): Dynamics, Uncertainty and Reasoning. - Singapore : Springer, 2019 . - (Logic in Asia )
Open Reading and Free Choice Permission : A Perspective in Substructural Logics.
In: Liao, Beishui (Hrsg.): Dynamics, Uncertainty and Reasoning. - Singapore : Springer, 2019 . - (Logic in Asia )
Romeijn, Jan-Willem ; Roy, Olivier:
All Agreed : Aumann meets DeGroot.
In: Theory and Decision. Bd. 85 (2018) Heft 1 . - S. 41-60.
DOI: https://doi.org/10.1007/s11238-017-9633-9
All Agreed : Aumann meets DeGroot.
In: Theory and Decision. Bd. 85 (2018) Heft 1 . - S. 41-60.
DOI: https://doi.org/10.1007/s11238-017-9633-9
Rafiee Rad, Soroush:
Equivocation Axiom on First Order Languages.
In: Studia Logica. Bd. 105 (2017) Heft 1 . - S. 121-152.
DOI: https://doi.org/10.1007/s11225-016-9684-x
Equivocation Axiom on First Order Languages.
In: Studia Logica. Bd. 105 (2017) Heft 1 . - S. 121-152.
DOI: https://doi.org/10.1007/s11225-016-9684-x
Rafiee Rad, Soroush ; Shirinkalam, Elahe ; Smets, Sonja:
A Logical Analysis of Quantum Voting Protocols.
In: International Journal of Theoretical Physics. Bd. 56 (2017) Heft 12 . - S. 3991-4003.
DOI: https://doi.org/10.1007/s10773-017-3409-4
A Logical Analysis of Quantum Voting Protocols.
In: International Journal of Theoretical Physics. Bd. 56 (2017) Heft 12 . - S. 3991-4003.
DOI: https://doi.org/10.1007/s10773-017-3409-4
Deontic Logic and Normative Systems.
Hrsg.: Roy, Olivier ; Tamminga, Allard ; Willer, Malte
London : College Publications , 2016
Hrsg.: Roy, Olivier ; Tamminga, Allard ; Willer, Malte
London : College Publications , 2016
Roy, Olivier ; Hjortland, Ole Thomassen:
Dynamic consequence for soft information.
In: Journal of Logic and Computation. Bd. 26 (2016) Heft 6 . - S. 1843-1864.
DOI: https://doi.org/10.1093/logcom/exu040
Dynamic consequence for soft information.
In: Journal of Logic and Computation. Bd. 26 (2016) Heft 6 . - S. 1843-1864.
DOI: https://doi.org/10.1093/logcom/exu040
Roy, Olivier ; Anglberger, Albert J. J. ; Gratzl, Norbert:
The Logic of Best Actions from a Deontic Perspective.
In: Baltag, Alexandru ; Smets, Sonja (Hrsg.): Johan van Benthem on Logic and Information Dynamics. - Cham : Springer, 2014 . - S. 657-676 . - (Outstanding Contributions to Logic ; 5 )
DOI: https://doi.org/10.1007/978-3-319-06025-5_24
The Logic of Best Actions from a Deontic Perspective.
In: Baltag, Alexandru ; Smets, Sonja (Hrsg.): Johan van Benthem on Logic and Information Dynamics. - Cham : Springer, 2014 . - S. 657-676 . - (Outstanding Contributions to Logic ; 5 )
DOI: https://doi.org/10.1007/978-3-319-06025-5_24
Rechenauer, Martin ; Roy, Olivier:
The Logical Structure of Scanlon’s Contractualism.
In: Cariani, Fabrizio ; Grossi, Davide ; Meheus, Joke ; Parent, Xavier (Hrsg.): Deontic logic and normative systems. - Cham : Springer, 2014 . - S. 166-176 . - (Lecture Notes in Computer Science ; 8554 )
DOI: https://doi.org/10.1007/978-3-319-08615-6_13
The Logical Structure of Scanlon’s Contractualism.
In: Cariani, Fabrizio ; Grossi, Davide ; Meheus, Joke ; Parent, Xavier (Hrsg.): Deontic logic and normative systems. - Cham : Springer, 2014 . - S. 166-176 . - (Lecture Notes in Computer Science ; 8554 )
DOI: https://doi.org/10.1007/978-3-319-08615-6_13
Roy, Olivier ; Pacuit, Eric:
Substantive Assumptions in Interaction : a Logical Perspective.
In: Synthese. Bd. 190 (2013) Heft 5 . - S. 891-908.
DOI: https://doi.org/10.1007/s11229-012-0191-y
Substantive Assumptions in Interaction : a Logical Perspective.
In: Synthese. Bd. 190 (2013) Heft 5 . - S. 891-908.
DOI: https://doi.org/10.1007/s11229-012-0191-y
Roy, Olivier ; Anglberger, Albert J. J. ; Gratzl, Norbert:
The logic of obligation as weakest permission.
In: Ågotnes, Thomas ; Broersen, Jan ; Elgesem, Dag (Hrsg.): Deontic logic in computer science. - Berlin : Springer, 2012 . - S. 139-150 . - (Lecture Notes in Computer Science ; 7393 )
DOI: https://doi.org/10.1007/978-3-642-31570-1_10
The logic of obligation as weakest permission.
In: Ågotnes, Thomas ; Broersen, Jan ; Elgesem, Dag (Hrsg.): Deontic logic in computer science. - Berlin : Springer, 2012 . - S. 139-150 . - (Lecture Notes in Computer Science ; 7393 )
DOI: https://doi.org/10.1007/978-3-642-31570-1_10
Roy, Olivier:
Epistemic logic and the foundations of decision and game theory.
In: Journal of Indian Council of Philosophical Research. Bd. 27 (2010) Heft 2 . - S. 283-314.
Epistemic logic and the foundations of decision and game theory.
In: Journal of Indian Council of Philosophical Research. Bd. 27 (2010) Heft 2 . - S. 283-314.
Roy, Olivier:
Interpersonal Coordination and Epistemic Support for Intentions with We-Content.
In: Economics & Philosophy. Bd. 26 (2010) Heft 03 . - S. 345-367.
DOI: https://doi.org/10.1017/S0266267110000404
Interpersonal Coordination and Epistemic Support for Intentions with We-Content.
In: Economics & Philosophy. Bd. 26 (2010) Heft 03 . - S. 345-367.
DOI: https://doi.org/10.1017/S0266267110000404
Roy, Olivier:
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games.
In: Synthese. Bd. 171 (2009) Heft 2 . - S. 291-320.
DOI: https://doi.org/10.1007/s11229-009-9644-3
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games.
In: Synthese. Bd. 171 (2009) Heft 2 . - S. 291-320.
DOI: https://doi.org/10.1007/s11229-009-9644-3
Roy, Olivier:
Thinking before acting : intentions, logic, rational choice.
2008
( Dissertation, 2008, Universiteit van Amsterdam)
Thinking before acting : intentions, logic, rational choice.
2008
( Dissertation, 2008, Universiteit van Amsterdam)
Roy, Olivier:
L’ockhamisme de Prior et l’ockhamisme actualiste en logique temporelle.
Groningen , 2004
L’ockhamisme de Prior et l’ockhamisme actualiste en logique temporelle.
Groningen , 2004
Roy, Olivier:
Étude sur les concepts d'agent et de choix dans la logique de l'action de Nuel Belnap et ses collaborateurs.
Québec , 2004
( Dissertation, 2004, Université du Québec à Trois-Rivières)
Étude sur les concepts d'agent et de choix dans la logique de l'action de Nuel Belnap et ses collaborateurs.
Québec , 2004
( Dissertation, 2004, Université du Québec à Trois-Rivières)
S
Straßer, Christian ; Beirlaen, Mathieu ; van de Putte, Frederik:
Adaptive Logic Characterizations of Input/output Logic.
In: Studia Logica. Bd. 104 (2016) Heft 5 . - S. 869-916.
DOI: https://doi.org/10.1007/s11225-016-9656-1
Adaptive Logic Characterizations of Input/output Logic.
In: Studia Logica. Bd. 104 (2016) Heft 5 . - S. 869-916.
DOI: https://doi.org/10.1007/s11225-016-9656-1
Straßer, Christian ; van de Putte, Frederik:
Adaptive strategies and finite-conditional premise sets.
In: Journal of Logic and Computation. Bd. 26 (2016) Heft 5 . - S. 1517-1539.
DOI: https://doi.org/10.1093/logcom/exu044
Adaptive strategies and finite-conditional premise sets.
In: Journal of Logic and Computation. Bd. 26 (2016) Heft 5 . - S. 1517-1539.
DOI: https://doi.org/10.1093/logcom/exu044
Straßer, Christian ; van de Putte, Frederik:
Proof Theories for Superpositions of Adaptive Logics.
In: Logique et Analyse. Bd. 230 (2015) . - S. 307-346.
DOI: https://doi.org/10.2143/LEA.230.0.3141812
Proof Theories for Superpositions of Adaptive Logics.
In: Logique et Analyse. Bd. 230 (2015) . - S. 307-346.
DOI: https://doi.org/10.2143/LEA.230.0.3141812
U
Urbaniak, Rafal ; van de Putte, Frederik:
Induction from a single instance : Incomplete frames.
In: Foundations of Science. Bd. 18 (2013) Heft 4 . - S. 641-653.
DOI: https://doi.org/10.1007/s10699-012-9295-6
Induction from a single instance : Incomplete frames.
In: Foundations of Science. Bd. 18 (2013) Heft 4 . - S. 641-653.
DOI: https://doi.org/10.1007/s10699-012-9295-6
V
van de Putte, Frederik ; Beirlaen, Mathieu ; Meheus, Joke:
Adaptive Deontic Logics : a Survey.
In: Journal of Applied Logics. Bd. 6 (2019) Heft 3 . - S. 523-608.
Adaptive Deontic Logics : a Survey.
In: Journal of Applied Logics. Bd. 6 (2019) Heft 3 . - S. 523-608.
van de Putte, Frederik:
Coarse Deontic Logic.
In: Journal of Logic and Computation. Bd. 29 (2019) Heft 2 . - S. 285-317.
DOI: https://doi.org/10.1093/logcom/exy010
Coarse Deontic Logic.
In: Journal of Logic and Computation. Bd. 29 (2019) Heft 2 . - S. 285-317.
DOI: https://doi.org/10.1093/logcom/exy010
van de Putte, Frederik ; Frijters, Stef ; Meheus, Joke:
How to take heroin (if at all) : A new approach to detachment in deontic logic.
2018
Veranstaltung: DEON 2018 : 14th International Conference on Deontic Logic and Normative Systems , 03.-06.07.2018 , Utrecht, Niederlande.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
How to take heroin (if at all) : A new approach to detachment in deontic logic.
2018
Veranstaltung: DEON 2018 : 14th International Conference on Deontic Logic and Normative Systems , 03.-06.07.2018 , Utrecht, Niederlande.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
van de Putte, Frederik ; Klein, Dominik:
Pointwise intersection in neighbourhood modal logic.
2018
Veranstaltung: Advances in Modal Logic 2018 , 27.-31.08.2018 , Bern, Schweiz.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
Pointwise intersection in neighbourhood modal logic.
2018
Veranstaltung: Advances in Modal Logic 2018 , 27.-31.08.2018 , Bern, Schweiz.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
van de Putte, Frederik ; Tamminga, Allard ; Duijf, Hein:
Doing Without Nature.
2017
Veranstaltung: LORI VI : 6th International Conference on Logic, Rationality, and Interaction , 11.-14.09.2017 , Sapporo, Japan.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
Doing Without Nature.
2017
Veranstaltung: LORI VI : 6th International Conference on Logic, Rationality, and Interaction , 11.-14.09.2017 , Sapporo, Japan.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
van de Putte, Frederik:
Coarse Deontic Logic (short version).
2016
Veranstaltung: DEON 2016 : 13th International Conference on Deontic Logic and Normative Systems , 18.-21.07.2016 , Bayreuth, Deutschland.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
Coarse Deontic Logic (short version).
2016
Veranstaltung: DEON 2016 : 13th International Conference on Deontic Logic and Normative Systems , 18.-21.07.2016 , Bayreuth, Deutschland.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
van de Putte, Frederik:
Splitting and Relevance : Broadening the Scope of Parikh's Concepts.
In: Logique et Analyse. Bd. 234 (2016) . - S. 173-205.
DOI: https://doi.org/10.2143/LEA.234.0.3159740
Splitting and Relevance : Broadening the Scope of Parikh's Concepts.
In: Logique et Analyse. Bd. 234 (2016) . - S. 173-205.
DOI: https://doi.org/10.2143/LEA.234.0.3159740
van de Putte, Frederik ; Straßer, Christian:
Adaptive logics: a parametric approach.
In: Logic Journal of the IGPL. Bd. 22 (2014) Heft 6 . - S. 905-932.
DOI: https://doi.org/10.1093/jigpal/jzu017
Adaptive logics: a parametric approach.
In: Logic Journal of the IGPL. Bd. 22 (2014) Heft 6 . - S. 905-932.
DOI: https://doi.org/10.1093/jigpal/jzu017
van de Putte, Frederik:
Default Assumptions and Selection Functions : A Generic Framework for Non-monotonic Logics.
In: Castro, Félix ; Gelbukh, Alexander ; González, Miguel (Hrsg.): MICAI 2013. Pt. 1. Advances in artificial intelligence and its applications. - Heidelberg : Springer, 2013 . - S. 54-67 . - (Lecture Notes in Computer Science ; 8265 )
DOI: https://doi.org/10.1007/978-3-642-45114-0_5
Default Assumptions and Selection Functions : A Generic Framework for Non-monotonic Logics.
In: Castro, Félix ; Gelbukh, Alexander ; González, Miguel (Hrsg.): MICAI 2013. Pt. 1. Advances in artificial intelligence and its applications. - Heidelberg : Springer, 2013 . - S. 54-67 . - (Lecture Notes in Computer Science ; 8265 )
DOI: https://doi.org/10.1007/978-3-642-45114-0_5
van de Putte, Frederik ; Straßer, Christian:
Preferential Semantics using Non-smooth Preference Relations.
In: Journal of Philosophical Logic. Bd. 43 (2013) Heft 5 . - S. 903-942.
DOI: https://doi.org/10.1007/s10992-013-9302-6
Preferential Semantics using Non-smooth Preference Relations.
In: Journal of Philosophical Logic. Bd. 43 (2013) Heft 5 . - S. 903-942.
DOI: https://doi.org/10.1007/s10992-013-9302-6
van de Putte, Frederik:
Prime implicates and relevant belief revision.
In: Journal of Logic and Computation. Bd. 23 (2013) Heft 1 . - S. 109-119.
DOI: https://doi.org/10.1093/logcom/exr040
Prime implicates and relevant belief revision.
In: Journal of Logic and Computation. Bd. 23 (2013) Heft 1 . - S. 109-119.
DOI: https://doi.org/10.1093/logcom/exr040
van de Putte, Frederik ; Straßer, Christian:
Three formats of prioritized adaptive logics : a comparative study.
In: Logic Journal of the IGPL. Bd. 21 (2013) Heft 1 . - S. 127-159.
DOI: https://doi.org/10.1093/jigpal/jzs004
Three formats of prioritized adaptive logics : a comparative study.
In: Logic Journal of the IGPL. Bd. 21 (2013) Heft 1 . - S. 127-159.
DOI: https://doi.org/10.1093/jigpal/jzs004
van de Putte, Frederik ; Verdée, Peter:
The Dynamics of Relevance : Adaptive Belief Revision.
In: Synthese. Bd. 187 (2012) Heft Supplement 1 . - S. 1-42.
DOI: https://doi.org/10.1007/s11229-012-0116-9
The Dynamics of Relevance : Adaptive Belief Revision.
In: Synthese. Bd. 187 (2012) Heft Supplement 1 . - S. 1-42.
DOI: https://doi.org/10.1007/s11229-012-0116-9
van de Putte, Frederik ; Straßer, Christian:
Extending the standard format of adaptive logics to the prioritized case.
In: Logique et Analyse. Bd. 220 (2012) . - S. 601-641.
Extending the standard format of adaptive logics to the prioritized case.
In: Logique et Analyse. Bd. 220 (2012) . - S. 601-641.
van de Putte, Frederik:
Generic Formats for Prioritized Adaptive Logics : With Applications in Deontic Logic, Abduction and Belief Revision.
Ghent , 2012 . - 330 S.
( Dissertation, 2012, Ghent University, Department of Philosophy and Moral Sciences)
Generic Formats for Prioritized Adaptive Logics : With Applications in Deontic Logic, Abduction and Belief Revision.
Ghent , 2012 . - 330 S.
( Dissertation, 2012, Ghent University, Department of Philosophy and Moral Sciences)
van de Putte, Frederik:
Hierarchic adaptive logics.
In: Logic Journal of the IGPL. Bd. 20 (2012) Heft 1 . - S. 45-72.
DOI: https://doi.org/10.1093/jigpal/jzr025
Hierarchic adaptive logics.
In: Logic Journal of the IGPL. Bd. 20 (2012) Heft 1 . - S. 45-72.
DOI: https://doi.org/10.1093/jigpal/jzr025
van Benthem, Johan ; Pacuit, Eric ; Roy, Olivier:
Toward a theory of play : A logical perspective on games and interaction.
In: Games. Bd. 2 (2011) Heft 1 . - S. 52-86.
DOI: https://doi.org/10.3390/g2010052
Toward a theory of play : A logical perspective on games and interaction.
In: Games. Bd. 2 (2011) Heft 1 . - S. 52-86.
DOI: https://doi.org/10.3390/g2010052
van Benthem, Johan ; Girard, Patrick ; Roy, Olivier:
Everything else being equal : A modal logic for ceteris paribus preferences.
In: Journal of Philosophical Logic. Bd. 38 (2009) Heft 1 . - S. 83-125.
DOI: https://doi.org/10.1007/s10992-008-9085-3
Everything else being equal : A modal logic for ceteris paribus preferences.
In: Journal of Philosophical Logic. Bd. 38 (2009) Heft 1 . - S. 83-125.
DOI: https://doi.org/10.1007/s10992-008-9085-3
van Benthem, Johan ; van Otterloo, Sieuwert ; Roy, Olivier:
Preference logic, conditionals and solution concepts in games.
In: Lagerlund, Henrik ; Lindström, Sten ; Sliwinski, Rysiek (Hrsg.): Modality matters : twenty-five essays in honour of Krister Segerberg. - Uppsala : Univ., Dept. of Philosophy, 2006 . - S. 61-77 . - (Uppsala Philosophical Studies ; 53 )
Preference logic, conditionals and solution concepts in games.
In: Lagerlund, Henrik ; Lindström, Sten ; Sliwinski, Rysiek (Hrsg.): Modality matters : twenty-five essays in honour of Krister Segerberg. - Uppsala : Univ., Dept. of Philosophy, 2006 . - S. 61-77 . - (Uppsala Philosophical Studies ; 53 )
van Otterloo, Sieuwert ; Roy, Olivier:
Verification of voting protocols.
University of Amsterdam
Amsterdam, Niederlande , 2005
Verification of voting protocols.
University of Amsterdam
Amsterdam, Niederlande , 2005
URL für die Einbettung dieser Seite in externe WWW-Seiten:
https://eref.uni-bayreuth.de/cgi/exportview/subjects/DDC100160/XML/DDC100160.xml
https://eref.uni-bayreuth.de/cgi/exportview/subjects/DDC100160/XML/DDC100160.xml