Login / Signup

Profiniteness, monadicity and universal models in modal logic.

Matteo De BerardinisSilvio Ghilardi
Published in: Ann. Pure Appl. Log. (2024)
Keyphrases
  • modal logic
  • temporal logic
  • decision procedures
  • prior knowledge
  • inference rules
  • model selection