A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
doi 10.1090/dimacs/029/05
Full Text
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society

Related search

A Ground-Complete Axiomatization of Stateless Bisimilarity Over Linda

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2015English

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Induction=I-Axiomatization+First-Order Consistency

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

The Ground-Negative Fragment of First-Order Logic Is -Complete

Journal of Symbolic Logic
PhilosophyLogic
1999English

Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic

Robotic Intelligence
2019English

A Short Tutorial on Order-Invariant First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

The Axiomatization of Propositional Logic

Formalized Mathematics
Computational MathematicsApplied Mathematics
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy