First-Order Logics of Branching Time

Logical Investigations
doi 10.21146/2074-1472-2013-19-0-68-99
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Philosophy, Russian Academy of Sciences

Related search

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On Arithmetical Completeness of First-Order Logics of Provability

2002English

Branching-Time Model Checking Gap-Order Constraint Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2016English

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

Journal of Symbolic Logic
PhilosophyLogic
1993English

Theorem Proving in Higher Order Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

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

2017English

Hittite Word Order and Branching Direction

Indo-European Linguistics and Classical Philology
2019English

Robust Adaptive Stabilization of Discrete-Time First-Order Systems

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
1991English

Decisions in Branching Time

Nuel Belnap on Indeterminism and Free Action
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy