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 full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

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

2017English

First-Order Logics of Branching Time

Logical Investigations
2013English

Non-Finitely Axiomatisable Two-Dimensional Modal Logics

Journal of Symbolic Logic
PhilosophyLogic
2012English

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

2002English

Modal Logics of Reactive Frames

Cognitive Technologies
2013English

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

Studia Logica
Philosophy of ScienceLogicHistory
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy