A modal logic for observation-based knowledge representation
type: Dataset
description: brunet2002a
issued: 2026-05-07T16:55:24.267697
language: en
modified: 2026-05-07T16:55:24.267701
contact point: Organization
  fn: CCSD
keyword: compilation-et-approximation-de-connaissances
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: representation-des-connaissances
landing page: Proc. FLoC workshop on Intuitionistic modal logic and applications (IMLA 2002)

A modal logic for observation-based knowledge representation
type: Distribution
format: HTML
issued: 2026-05-07T16:55:24.270695
modified: 2026-05-07T16:55:24.260704
access URL: https://inria.hal.science/hal-00922305

test_moissonnage_selune
type: Agent