scientific article
From MaRDI portal
Publication:2751373
zbMath0992.03019MaRDI QIDQ2751373
Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay, Hans Jürgen Ohlbach
Publication date: 16 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
simulationfirst-order predicate logicreasoningtranslationexpressive poweraxiomatizationproof proceduresencoding a nonclassical logic in predicate logic
Related Items
A description logic based situation calculus, Separation logics and modalities: a survey, Category theory in Isabelle/HOL as a basis for meta-logical investigation, Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support, Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, First-Order Resolution Methods for Modal Logics, DKAL and Z3: A Logic Embedding Experiment, Efficient local reductions to basic modal logic, A Tableau Calculus for Minimal Modal Model Generation, A new methodology for developing deduction methods, Deciding regular grammar logics with converse through first-order logic, Local is best: efficient reductions to modal logic \textsf{K}, Local reductions for the modal cube
Uses Software