First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37651-1_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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

2017English

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

Journal of Symbolic Logic
PhilosophyLogic
1993English

First-Order Logics of Branching Time

Logical Investigations
2013English

Modal Logics for Continuous Dynamics

1997English

Sequent Systems for Modal Logics

2002English

Modal Logics for Qualitative Spatial Reasoning

Logic Journal of the IGPL
Philosophy
1996English

A Resolution Calculus for First-Order Schemata

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Translating Classical Probability Logics Into Modal Fuzzy Logics

2019English

On Arithmetical Completeness of First-Order Logics of Provability

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy