Undecidability of Modal and Intermediate First-Order Logics With Two Individual Variables

Journal of Symbolic Logic- United Kingdom

doi 10.2307/2275098

Full Text

Abstract

Available in

Categories

Date

September 1, 1993

Authors

Publisher

Cambridge University Press (CUP)

Related search

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Combining Unification and Rewriting in Proofs for Modal Logics With First-Order Undefinable Frames

English

First-Order Logics of Branching Time

Logical Investigations

English

Non-Finitely Axiomatisable Two-Dimensional Modal Logics

Journal of Symbolic Logic

English

Two-Layer Modal Logics: From Fuzzy Logics to a General Framework

English

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results

English

On Arithmetical Completeness of First-Order Logics of Provability

English

Modal Logics of Reactive Frames

Cognitive Technologies

English

Hilbert-Style Presentations of Two Logics Associated to Tetravalent Modal Algebras

Philosophy of Science

English