Proving the Decidability of the PDLxPDL Product Logic

Proving the Decidability of the PDLxPDL Product Logic

Bibliographic Details
Main Authors:	P. Balbiani, L. Aszalos
Format:	Article
Language:	English
Published:	Babes-Bolyai University, Cluj-Napoca 2009-07-01
Series:	Studia Universitatis Babes-Bolyai: Series Informatica
Online Access:	http://www.cs.ubbcluj.ro/~studia-i/2009-1/01-Aszalos.pdf

Similar Items

The logical strength of Büchi's decidability theorem
by: Kolodziejczyk, L, et al.
Published: (2019)

The logical strength of Büchi's decidability theorem
by: Kolodziejczyk, L, et al.
Published: (2016)

Decision procedure for a combination of logics KD4 and PDL
by: Aida Pliuškevičienė
Published: (2004-12-01)

On the decidability of Metric Temporal Logic
by: Ouaknine, J, et al.
Published: (2005)

On decidability of pure hybrid logic
by: Stanislovas Norgėla
Published: (2012-12-01)

Characterizing definability in decidable fixpoint logics
by: Benedikt, M, et al.
Published: (2017)

Symbolic logic and mechanical theorem proving /
by: 336504 Chang, Chin-Ling, et al.
Published: (1973)

Fullness and Decidability in Continuous Propositional Logic
by: Xuanzhi Ren
Published: (2022-11-01)

Deciding KAT and Hoare Logic with Derivatives
by: Ricardo Almeida, et al.
Published: (2012-10-01)

Definability and interpolation within decidable fixpoint logics
by: Benedikt, M, et al.
Published: (2019)

Deciding Floating−Point Logic with Systematic Abstraction
by: Haller, L, et al.
Published: (2012)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
by: Hajime Ishihara
Published: (2014-08-01)

Automated theorem proving : a logical basis /
by: 403272 Loveland, Donald W.
Published: (1978)

Safety metric temporal logic is fully decidable
by: Ouaknine, J, et al.
Published: (2006)

Deciding expressive description logics in the framework of resolution.
by: Hustadt, U, et al.
Published: (2008)

The logical strength of B\"uchi's decidability theorem
by: Leszek Kołodziejczyk, et al.
Published: (2019-05-01)

Definability and Interpolation within Decidable Fixpoint Logics
by: Michael Benedikt, et al.
Published: (2019-09-01)

Decidability Preservation and Complexity Bounds for Combined Logics
by: Carlos Caleiro, et al.
Published: (2022-09-01)

A step up in expressiveness of decidable fixpoint logics
by: Boom, M, et al.
Published: (2016)

Using Spreadsheets for Solving Logic Puzzles
by: L. Aszalos, et al.
Published: (2009-07-01)

Some observations on the logical foundations of inductive theorem proving
by: Stefan Hetzl, et al.
Published: (2018-04-01)

A compositional logic for proving security properties of protocols
by: Durgin, N, et al.
Published: (2004)

Conditional and preferential logics : proof methods and theorem proving /
by: 518526 Pozzato, Gian Luca
Published: (c201)

Logic for computer science : foundations of automatic theorem proving /
by: 455116 Gallier, Jean H.
Published: (1986)

A Human Oriented Logic for Automatic Theorem Proving
by: Nevins, Arthur J.
Published: (2004)

Decidability of a monadic subclass of modal logic S4
by: Stanislovas Norgėla
Published: (2002-12-01)

Some decidable classes of formulas of modal logic S4
by: Stanislovas Norgėla
Published: (2001-12-01)

Decidability of graph neural networks via logical characterizations
by: Benedikt, M, et al.
Published: (2024)

On the decidability of monadic second-order logic with arithmetic predicates
by: Berthé, V, et al.
Published: (2024)

The Limits of Decidability for First Order Logic on CPDA Graphs
by: Broadbent, C
Published: (2012)

On the decidability of monadic first order logic in sequent calculus
by: Jean-Baptiste Joinet
Published: (2016-12-01)

A Decidable Spatial Logic with Cone−shaped Cardinal Directions
by: Montanari, A, et al.
Published: (2009)

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals
by: Montanari, A, et al.
Published: (2010)

Decidability of the Interval Temporal Logic ABB Over the Natural Numbers
by: Montanari, A, et al.
Published: (2010)

ProoFVer: Natural Logic Theorem Proving for Fact Verification
by: Amrith Krishna, et al.
Published: (2022-01-01)

Some Research Issues in Higher Order Logic Theorem Proving
by: Melham, T
Published: (1996)

Proving since ever? An inferential approach to compactness in propositional logic
by: Jean-Baptiste Joinet
Published: (2022-01-01)

On the decidability and complexity of Metric Temporal Logic over finite words
by: Joel Ouaknine, et al.
Published: (2007-02-01)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
by: Ouaknine, J, et al.
Published: (2007)

A Decidability Result for a Second Order Process Logic
by: Parikh, Rohit
Published: (2023)