A Logical Analysis of the Interplay Between Social Influence and Friendship Selection (English)
- New search for: Smets, Sonja
- New search for: Velázquez-Quesada, Fernando R.
- New search for: Smets, Sonja
- New search for: Velázquez-Quesada, Fernando R.
In:
Dynamic logic
; 71-87
;
2020
-
ISBN:
- Conference paper / Print
-
Title:A Logical Analysis of the Interplay Between Social Influence and Friendship Selection
-
Contributors:Smets, Sonja ( author ) / Velázquez-Quesada, Fernando R. ( author )
-
Conference:DaLí ; 2. ; 2019 ; Porto, Portugal
-
Published in:Dynamic logic ; 71-87
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2020
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 03B70 / 00B25 / *03-06
- Further information on Mathematics Subject Classification
- New search for: 54.70
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Mechanizing Bisimulation Theorems for Relation-Changing Logics in CoqFervari, Raul / Trucco, Francisco / Ziliani, Beta et al. | 2020
- 19
-
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent TransitionsHennicker, Rolf / Knapp, Alexander / Madeira, Alexandre / Mindt, Felix et al. | 2020
- 35
-
The Logic of AGM Learning from Partial ObservationsBaltag, Alexandru / Özgün, Aybüke / Vargas-Sandoval, Ana Lucia et al. | 2020
- 53
-
A Dynamic Epistemic Logic Analysis of the Equality Negation TaskGoubault, Éric / Lazic, Marijana / Ledent, Jérémy / Rajsbaum, Sergio et al. | 2020
- 71
-
A Logical Analysis of the Interplay Between Social Influence and Friendship SelectionSmets, Sonja / Velázquez-Quesada, Fernando R. et al. | 2020
- 88
-
A Four-Valued Hybrid Logic with Non-dual Modal OperatorsCosta, Diana / Martins, Manuel A. et al. | 2020
- 104
-
Persuasive Argumentation and Epistemic AttitudesProietti, Carlo / Yuste-Ginel, Antonio et al. | 2020
- 124
-
The Trace ModalitySteinhöfel, Dominic / Hähnle, Reiner et al. | 2020
- 141
-
Iterative Division in the Distributive Full Non-associative Lambek CalculusSedlar, Igor et al. | 2020
- 155
-
Resource Separation in Dynamic Logic of Propositional AssignmentsBoudou, Joseph / Herzig, Andreas / Troquard, Nicolas et al. | 2020
- 171
-
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive SettingsAbarca, Aldo Ivan Ramirez / Broersen, Jan et al. | 2020
- 190
-
Bringing Belief Base Change into Dynamic Epistemic LogicSouza, Marlo / Moreira, Alvaro et al. | 2020
- 209
-
A Dynamic Logic for QASM ProgramsTavares, Carlos et al. | 2020
- 218
-
On the Construction of Multi-valued Concurrent Dynamic LogicsGomes, Leandro et al. | 2020