ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2012.12982
  4. Cited By
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper
  Model

Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model

Dynamic Logic. New Trends and Applications (DALI), 2020
23 December 2020
Gaia Belardinelli
R. K. Rendsvig
ArXiv (abs)PDFHTML

Papers citing "Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model"

1 / 1 papers shown
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic
  and Semantic Models
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Gaia Belardinelli
R. K. Rendsvig
81
2
0
24 Jun 2021
1
Page 1 of 1