Graduate studies at Western
Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184 (2006)
|Abstract||This paper, we propose a modal logic satisfying minimal requirements for reasoning about diagrams via collection of sets and relations between them, following Harel's proposal. We first give an axiomatics of such a theory and then provide its Kripke semantics. Then we extend previous works of ours in order to obtain a decision procedure based on tableaux for this logic. Beside soundness and completeness of our tableaux, we manage to define a strategy of rule application ensuring termination by extending the usual loop test of modal logic S4 to whole sub-structures of the model being computed.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Heinrich Wansing (1999). Displaying the Modal Logic of Consistency. Journal of Symbolic Logic 64 (4):1573-1590.
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart (2006). The Complexity of Analytic Tableaux. Journal of Symbolic Logic 71 (3):777 - 790.
Bernhard Beckert & Rajeev GorÉ (2001). Free-Variable Tableaux for Propositional Modal Logics. Studia Logica 69 (1):59-96.
Added to index2009-01-28
Total downloads2 ( #246,545 of 739,345 )
Recent downloads (6 months)0
How can I increase my downloads?