Modal Logic of Time Division
type: Dataset
issued: 2026-05-09T21:39:02.763348
language: en
modified: 2026-05-09T21:39:02.763353
contact point: Organization
  fn: CCSD
keyword: book-sections
keyword: decidability
keyword: expressive-power
keyword: infoeu-reposemanticsbookpart
keyword: interval-tense-logic
keyword: linear-order
keyword: mathmath-lomathematics-mathlogic-mathlo
keyword: negation
keyword: order-type
keyword: shsphilhumanities-and-social-sciencesphilosophy
keyword: von-wright
keyword: weak-monadic-second-order-logic
landing page: Advances in Modal Logic vol. 7

Modal Logic of Time Division
type: Distribution
format: HTML
issued: 2026-05-09T21:39:02.764834
modified: 2026-05-09T21:39:02.750452
access URL: https://hal.science/hal-00857700

test_moissonnage_selune
type: Agent