Information dynamics and uniform substitution (Q484920): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B42 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6384570 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
dynamic epistemic logic | |||
Property / zbMATH Keywords: dynamic epistemic logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
public announcement logic | |||
Property / zbMATH Keywords: public announcement logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
uniform substitution | |||
Property / zbMATH Keywords: uniform substitution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
schematic validity | |||
Property / zbMATH Keywords: schematic validity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
substitution core | |||
Property / zbMATH Keywords: substitution core / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
decidability | |||
Property / zbMATH Keywords: decidability / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11229-013-0278-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2142771670 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modal logic with subjunctive conditionals and dispositional predicates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Validity and necessity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The modal logic of pure provability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modalities and Quantification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The secret of my success / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385438 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4845472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logical analysis of some value concepts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reasoning about information change / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Should knowledge entail belief? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2939499 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Schematic Validity in Dynamic Epistemic Logic: Decidability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5419888 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2904054 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic epistemic logic with branching temporal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4858037 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3269129 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatization of full Computation Tree Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-dimensional modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Russian cards problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What one may come to know / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5494230 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5477946 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics of communication and change / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logical Dynamics of Information and Interaction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic epistemic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Axiomatizations of PAL / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:37, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Information dynamics and uniform substitution |
scientific article |
Statements
Information dynamics and uniform substitution (English)
0 references
8 January 2015
0 references
dynamic epistemic logic
0 references
public announcement logic
0 references
uniform substitution
0 references
schematic validity
0 references
substitution core
0 references
decidability
0 references