Publication | Closed Access
Back and Forth Between Modal Logic and Classical Logic
56
Citations
0
References
1995
Year
Theory Of ComputingNon-classical LogicEngineeringHungary E-mailAutomated ReasoningClassical LogicModal LogicMathematical FoundationsFwi.uva.nl SearchHigher-order LogicSemanticsJournal Article Back
Journal Article Back and Forth Between Modal Logic and Classical Logic Get access HAJNAL ANDRÉKA, HAJNAL ANDRÉKA Institute of Mathematics, Hungarian Academy of SciencesBudapest, Hungary. E-mail: andreka@math-inst.hu Search for other works by this author on: Oxford Academic Google Scholar JOHAN van BENTHEM, JOHAN van BENTHEM Institute for Logic, Language and Computation, University of AmsterdamThe Netherlands. E-mail: johan@fwi.uva.nl Search for other works by this author on: Oxford Academic Google Scholar ISTVAN NÉMETI ISTVAN NÉMETI Institute of Mathematics, Hungarian Academy of SciencesBudapest, Hungary E-mail: nemeti@math-inst.hu Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 3, Issue 5, August 1995, Pages 685–720, https://doi.org/10.1093/jigpal/3.5.685 Published: 01 August 1995 Article history Received: 23 May 1995 Published: 01 August 1995