A simple tableau system for the logic of elsewhere

From MaRDI portal
Publication:4645235

DOI10.1007/3-540-61208-4_12zbMath1415.03021OpenAlexW1582676071MaRDI QIDQ4645235

Stéphane P. Demri

Publication date: 10 January 2019

Published in: Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61208-4_12




Related Items (1)


Uses Software


Cites Work


This page was built for publication: A simple tableau system for the logic of elsewhere