A Decidable Spatial Logic with Cone−shaped Cardinal Directions

A Decidable Spatial Logic with Cone−shaped Cardinal Directions

書目詳細資料
Main Authors:	Montanari, A, Puppis, G, Sala, P
格式:	Journal article
出版:	2009

相似書籍

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

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

Decidability of MSO Theories of Tree Structures
由: Montanari, A, et al.
出版: (2004)

A Contraction Method to Decide MSO Theories of Deterministic Trees
由: Montanari, A, et al.
出版: (2007)

Decidability of the Theory of the Totally Unbounded omega−Layered Structure
由: Montanari, A, et al.
出版: (2004)

On the decidability of Metric Temporal Logic
由: Ouaknine, J, et al.
出版: (2005)

Characterizing definability in decidable fixpoint logics
由: Benedikt, M, et al.
出版: (2017)

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

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

Definability and interpolation within decidable fixpoint logics
由: Benedikt, M, et al.
出版: (2019)

A step up in expressiveness of decidable fixpoint logics
由: Boom, M, et al.
出版: (2016)

Deciding Floating−Point Logic with Systematic Abstraction
由: Haller, L, et al.
出版: (2012)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
由: Barany, V, et al.
出版: (2010)

The college of cardinals
由: Pattenden, M
出版: (2024)

Deciding expressive description logics in the framework of resolution.
由: Hustadt, U, et al.
出版: (2008)

Safety metric temporal logic is fully decidable
由: Ouaknine, J, et al.
出版: (2006)

A Decidability Result for a Second Order Process Logic
由: Parikh, Rohit
出版: (2023)

The Limits of Decidability for First Order Logic on CPDA Graphs
由: Broadbent, C
出版: (2012)

Decidability of graph neural networks via logical characterizations
由: Benedikt, M, et al.
出版: (2024)

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

Direct factors of profinite completions and decidability
由: Bridson, M
出版: (2008)

Re. Cardinal's visit
由: Irish Charitable Trust, ICT

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

On the cardinality of twelfth degree polynomial
由: Lasaraiya, Suriana, et al.
出版: (2016)

Standardized cardinal and gray dyeings
由: Fell, Ernest M. (Ernest Millward)
出版: (2023)

On the decidability of finite extensions of decidable fields
由: Thanagopal, K
出版: (2018)

Deciding floating-point logic with abstract conflict driven clause learning
由: Brain, M, et al.
出版: (2014)

Deciding floating−point logic with abstract conflict driven clause learning
由: Brain, M, et al.
出版: (2013)

A class of generalized cardinal splines /
由: 373654 Goodman, T. N. T., et al.
出版: (1977)

Cardinality quantifiers in MLO over trees
由: Barany, V, et al.
出版: (2009)

On Algorithms and Complexity for Sets with Cardinality Constraints
由: Marnette, Bruno, et al.
出版: (2005)

Cardinal Reginald Pole in European context
由: MacCulloch, D
出版: (2001)

Polynomial Constraints for Sets with Cardinality Bounds
由: Marnette, B, et al.
出版: (2007)

The early modern cardinal: an historical appraisal
由: Pattenden, M
出版: (2021)

Set theory : an introduction to large cardinals /
由: 364425 Drake, Frank R.
出版: (1974)

On the use of guards for logics with data
由: Colcombet, T, et al.
出版: (2011)

A Novel Approach for Solving Convex Problems with Cardinality Constraints
由: Banjac, G, et al.
出版: (2017)

Thinking and deciding /
由: 221448 Baron, Jonathan
出版: (1988)

Constrained clustering: general pairwise and cardinality constraints
由: Bibi, A, et al.
出版: (2023)

The cardinal principles of Islam : according to the Maliki system /
由: 458094 A. Rahman I. Doi
出版: (1972)