Decision procedure for first-order linear temporal logic with semi-periodic kemels

Decision procedure for first-order linear temporal logic with semi-periodic kemels

There is not abstract.

Bibliographic Details
Main Author:	Regimantas Pliuškevičius
Format:	Article
Language:	English
Published:	Vilnius University Press 2002-12-01
Series:	Lietuvos Matematikos Rinkinys
Online Access:	https://www.zurnalai.vu.lt/LMR/article/view/32981

Similar Items

Method of marks for propositional linear temporal logic
by: Regimantas Pliuškevičius
Published: (2014-12-01)

Decision procedures for quantified fragments of reflexive common knowledge logic
by: Regimantas Pliuškevičius
Published: (2004-12-01)

Combination of temporal logic with modal logic KD
by: Regimantas Pliuškevičius
Published: (2003-12-01)

Reconstructing 2500 years of land use history on the Kemel Heath (Kemeler Heide), southern Rhenish Massif, Germany
by: C. Stolz, et al.
Published: (2012-12-01)

Logic of knowledge with infinitely many agents
by: Regimantas Pliuškevičius
Published: (2023-09-01)

Termination of derivations for minimal tense logic
by: Regimantas Pliuškevičius
Published: (2009-12-01)

Loop-free verification of termination of derivation for a fragment of dynamic logic
by: Regimantas Pliuškevičius
Published: (2008-12-01)

On uniform error of kemel estimate of discontinuous regression function
by: Alfredas Račkauskas, et al.
Published: (2002-12-01)

Cut elimination for knowledge logic with interaction
by: Julius Andrikonis, et al.
Published: (2021-06-01)

Contraction-free calculi for modal logics S5 and KD45
by: Julius Andrikonis, et al.
Published: (2011-12-01)

A specialization of definitions in common knowledge logic
by: Aurimas Paulius Girčys, et al.
Published: (2011-12-01)

Saturation method for reflexive common knowledge logic
by: Regimantas Pliuškevičius, et al.
Published: (2012-12-01)

The succinctness of first-order logic on linear orders
by: Martin Grohe, et al.
Published: (2005-06-01)

First-Order and Temporal Logics for Nested Words
by: Rajeev Alur, et al.
Published: (2008-11-01)

Cut, invariant rule, and loop-check free sequent calculus for PLTL
by: Romas Alonderis, et al.
Published: (2011-12-01)

Decision procedure for a fragment of quantified branching temporal logic
by: Aida Pliuškevičienė
Published: (2002-12-01)

Two complete finitary sequent calculi for reflexive common knowledge
by: Aurimas Paulius Girčys, et al.
Published: (2013-12-01)

Making first order linear logic a generating grammar
by: Sergey Slavnov
Published: (2023-11-01)

Finite sequent calculi for PLTL
by: Romas Alonderis, et al.
Published: (2015-12-01)

A Decision Procedure for the First Order Theory of Real Addition with Order
by: Ferrante, Jeanne, et al.
Published: (2023)

Completeness classes for intuitionistic first-order temporal logic with time gaps
by: Romas Alonderis
Published: (2023-11-01)

First-order logic /
by: 323371 Smullyan, Raymond M.
Published: (1968)

Automatization of proof-search for a fragment of the first-order linear tense logic
by: Romas Alonderis
Published: (2003-12-01)

A First-Order Complete Temporal Logic for Structured Context-Free Languages
by: Michele Chiari, et al.
Published: (2022-07-01)

From Separation Logic to First−Order Logic
by: Calcagno, P, et al.
Published: (2005)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
by: Sadrzadeh, M
Published: (2003)

Decision procedure for a fragment of dynamic logic
by: Aida Pliuškevičienė
Published: (2001-12-01)

Linear Temporal Logic for Regular Cost Functions
by: Denis Kuperberg
Published: (2014-02-01)

The Complexity of Generalized Satisfiability for Linear Temporal Logic
by: Michael Bauland, et al.
Published: (2009-01-01)

A Parallel Linear Temporal Logic Tableau
by: John C. McCabe-Dansted, et al.
Published: (2017-09-01)

Existence of periodic solutions for sub-linear first-order Hamiltonian systems
by: Mohsen Timoumi
Published: (2015-05-01)

Planning for temporally extended goals in pure-past linear temporal logic
by: Bonassi, L, et al.
Published: (2023)

Characterizing Second Order Logic with First Order Quantifiers
by: Harel, David
Published: (2023)

First-order logics for comparative similarity
by: Williamson, T
Published: (1988)

Relating Z and first-order logic
by: Martin, A
Published: (2000)

Game semantics for first-order logic
by: Olivier Laurent
Published: (2010-10-01)

Relating Z and first−order logic
by: Martin, A
Published: (1999)

Relating Z and First−order logic
by: Martin, A
Published: (2000)

Binding forms in first-order logic
by: Mogavero, F, et al.
Published: (2015)

Among the epistemology and the logic. Decision and algorithm for order
by: JAIME GIL ALUJA
Published: (2001-06-01)