More efficient proof-search for sequents of temporal logic

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Romas Alonderis
Format:	Artículo científico
Language:	en
Published:	Vilniaus Universitetas 2022
Subjects:	Matemáticas loop search backward proof Temporal logics type sequent calculi
Online Access:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

(Hyper)sequent Calculi for the ALC(S4) Description Logics
by: Juan Pablo Muñoz
Published: (2016)

Automated Reasoning with Analytic Tableaux and Related Methods
Published: (2023)

Expanding the Universe of Universal Logic
by: James Trafford
Published: (2014)

Bulletin of the Section of Logic
Published: (2020)

Logical derivation search with assumption traceability
by: Adomas Birštunas
Published: (2021)

Artifact of the paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'
by: Schuster, Philipp, et al.
Published: (2025)

Transmission dynamic and backward bifurcation of Middle Eastern respiratory syndrome coronavirus
by: Bibi Fatima
Published: (2022)

A survey of computational calculi used in musical applications
by: Gerardo M. Sarria M.
Published: (2013)

On decidability properties of two fragments of the asynchronous π-calculus
by: Jesús A. Aranda B.
Published: (2013)

An Extended Notion of Backward Compatibility
by: Jants, Kaaren
Published: (2026)

A SIMPLE MODEL WITH PEER PRESSURE: THE ANTISOCIAL BEHAVIOR CASE
by: GEISER VILLAVICENCIO-PULIDO
Published: (2021)

Flexible ureterorenoscopy: State of the art and practical guide of tips and tricks
by: David Álvarez Villaraga
Published: (2016)

Suppurative minor salivary gland sialolithiasis
by: Camila de Oliveira Barbeiro
Published: (2022)

Demonstration of some selected aquaculture technologies under farming system research in Jessore and Santahar, Bangladesh
by: Pramanik, M.W.A., et al.
Published: (2005)

Tableau Methods for Propositional Logic and Term Logic
by: Jarmużek, Tomasz
Published: (2024)

Intra-oral surgical access for the treatment of bilateral submandibular sialolithiasis: case report
by: Ricardo Martins
Published: (2012)

New results with scatter search applied to multiobjective combinatorial and nonlinear optimization problems
by: Ricardo P. Beausoleil
Published: (2006)

A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
by: Matsuua, Yoshihito
Published: (2025)

Market System Adaptation to Climate-Smart Agriculture: A Case of the Sorjan-Induced Bio-Economy in Coastal Bangladesh
by: Shyam Sundor Debnath, et al.
Published: (2025)

Desigualdades territoriales de las ciudades multiculturales. El caso del estado de Oaxaca, México
by: Julita Moreno Avendaño
Published: (2020)

Threshold Convergence in Biohybrid Analog Systems A Dual Philosophy Architecture.
by: Bohan, Jason
Published: (2025)

retracted
by: Fathi, Kevin
Published: (2025)

Formal Methods for Distributed System Development
by: AJAMI, Khalil, et al.
Published: (2000)

The defendant’s guilt beyond a reasonable doubt in the Italian criminal justice system
by: Francesco Callari
Published: (2021)

Temporal Symmetry Analysis: A Framework for Testing Structural Reachability of Proposed Futures
by: Farran, Orwa
Published: (2026)

General Theory of Finite Descent Authority
by: Carroll, Jeremy H.
Published: (2026)

Foundations of Software Science and Computation Structures
Published: (2021)

Mathematical Proofs in Practice: Revisiting the reliability of published mathematical proofs
by: Joachim Frans
Published: (2014)

Forward-backward processing technique for image denoising using FDZP 2D filter
by: Atul Kumar Verma
Published: (2017)

Evolutionary learning in teachers’ education: continuity between the certainties of action and discursive arrangements
by: CATIA PICCOLO VIERO DEVECH
Published: (2016)

Information Flow Complexity Theory: A Comprehensive Mathematical Framework
by: Kilpatrick, Christian
Published: (2025)

Non-Gaussianity and Loop Corrections in a Quadratic Two-Field Slow-Roll Model of Inflation. Part I
by: Yeinzon Rodríguez
Published: (2007)

Modelo geoestadístico espacio-temporal del crimen en el salvador: análisis estructural y predictivo
by: Welman Rosa Alvarado
Published: (2011)

A Necessary Formation-Theoretic Invariant Against Illegitimate Propositional Lifting 3
by: Salhab, Najih
Published: (2026)

Kooperacja Włodarski & de Broglie - Formalizacja Tensora WS i Skalowanie Fali Pilotującej
by: Włodarski, Łukasz Krzysztof
Published: (2026)

Time Loop Bubbles in a Causally Well-Behaved Spacetime III – Loop Stability Condition and Heisenberg-Type Refinement
by: Palotas, Peter, et al.
Published: (2026)

Analysis geostatistics of earthquake-proof parameters and of construction in a road sector of high vertical growing
by: José Andrés Zabala Rosales
Published: (2008)

Displacements of hysteresis loops in magnetite nanoparticles
by: J. Mazo-Zuluaga
Published: (2012)

Foundations of Software Science and Computation Structures
Published: (2022)

Relative study of classical and fuzzy logic controllers in a closed-loop BLDC motor drive with the GA and PSO optimization technique
by: U. Das
Published: (2021)