Intuitionistic logic and modality via topology

Topology via Constructive Logic

By working constructively in the sense of geometric logic, topology can be hidden. This applies also to toposes as generalized topological spaces.

Time and Modality in Avicennan Logic

Deciding Intuitionistic Propositional Logic via Translation into Classical Logic

W. McCune, ed. 14 International Conference on Automated Deduction (CADE-14), LNAI 1249, pp. 131–145, c ©Springer Verlag, 1997. Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary classical theorem provers for deciding the intuitionistic validity of a given proposition...

De re and De dicto Modality in Islamic Traditional Logic

time and modality in avicennan logic

one ef the most important innovations in the history ef traditional logic is the avicena's theory ef temporal modalities (.atm). althottgh) the basic concepts and elements ef this theory are fottnded in aristotelian and stoic-lvlegarian !0 gic) but as a independent lo,gical system, are devised on/y fry avicenna and were later developed and completed fry his followers. the atm theory contai...