Simple Axioms for Local Properties

DOI10.4204/eptcs.379.9arXiv2307.05040OpenAlexW4383645767MaRDI QIDQ6199600

Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.05040

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Axiomatizations with context rules of inference in modal logic
• Local properties in modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item