Tableaux for Basic Modal Logic

Abstract : It is a brief presentation of Tableaux in the style of Fitting and Smullyan for propositional (normal) modal logic It is part of the L3 cours in Logic
Complete list of metadatas

https://halshs.archives-ouvertes.fr/cel-01228873
Contributor : Shahid Rahman <>
Submitted on : Tuesday, November 17, 2015 - 5:21:26 PM
Last modification on : Tuesday, July 3, 2018 - 11:25:07 AM
Long-term archiving on : Thursday, February 18, 2016 - 10:51:01 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : cel-01228873, version 1

Collections

Citation

Shahid Rahman. Tableaux for Basic Modal Logic. Licence. France. 2015. ⟨cel-01228873⟩

Share

Metrics

Record views

305

Files downloads

198