s Simpler Completeness Proofs for Modal Logics with Intersection

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	DaLí (3. : 2020 : Online) Dynamic logic
1. Verfasser:	Wang, Yi N. (VerfasserIn)
Weitere Verfasser:	Agotnes, Thomas (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model	2020	Belardinelli, Gaia
Constructive Dynamic Logic of Relation Changers	2020	Hatano, Ryo
Ecumenical Modal Logic	2020	Marin, Sonia
Thinking About Causation: A Causal Language with Epistemic Operators	2020	Barbero, Fausto
Belief Based on Inconsistent Information	2020	Bílková, Marta
Default Modal Systems as Algebraic Updates	2020	Cassano, Valentin
Grounding Awareness on Belief Base	2020	Lorini, Emiliano
Public Announcement Logic in HOL.	2020	Reiche, Sebastian
Arbitrary Propositional Network Announcement Logic	2020	Xiong, Zuojun
Expedition in the Update Universe	2020	Aucher, Guillaume
Dealing with Unreliable Agents in Dynamic Gossip	2020	Berg, Line van den
Expressivity of Some Versions of APAL	2020	Ditmarsch, Hans van
Complexity of Commutative Infinitary Action Logic	2020	Kuznetsov, Stepan
Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge	2020	Solaki, Anthia
Parameterized Complexity of Dynamic Belief Updates	2020	Bolander, Thomas
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting	2020	Puncochar, Vit
s Simpler Completeness Proofs for Modal Logics with Intersection	2020	Wang, Yi N.