Linear temporal logic with until and next, logical consecutions
type: Item
instance of: scholarly article
title: Linear temporal logic with until and next, logical consecutions
zbMATH Open document ID: 1147.03008
published in: Annals of Pure and Applied Logic
publication date: 2008-09-29T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5348354
zbMATH Keywords: algorithms
zbMATH Keywords: linear temporal logic
zbMATH Keywords: admissible consecutions
zbMATH Keywords: logical consequence
zbMATH Keywords: admissible inference rules
zbMATH Keywords: Kripke structures
author: Vladimir Rybakov
MaRDI profile type: Publication
full work available at URL: j.apal.2008.03.001
OpenAlex ID: W2011674996
cites work: Q4817546
cites work: Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
cites work: Q4817549
cites work: Q4385542
cites work: One hundred and two problems in mathematical logic
cites work: Q3669373
cites work: Unification in intuitionistic logic
cites work: Q3773852
cites work: Using the Universal Modality: Gains and Questions
cites work: Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
cites work: On the admissible rules of intuitionistic propositional logic
cites work: Admissible Rules of Modal Logics
cites work: Modal sequents and definability
cites work: A quick axiomatisation of LTL with past
cites work: Q3226736
cites work: Derivability of admissible rules
cites work: Rules of inference with parameters for intuitionistic logic
cites work: Hereditarily structurally complete modal logics
cites work: Logical equations and admissible rules of inference with parameters in modal provability logics
cites work: On Finite Model Property for Admissible Rules
cites work: Construction of an explicit basis for rules admissible in modal system S4
cites work: Logical consecutions in discrete linear temporal logic
cites work: Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
cites work: Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
cites work: Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
cites work: The complexity of propositional linear temporal logics
cites work: Q4219045
cites work: Logic of transition systems
DOI: 10.1016/J.APAL.2008.03.001
description: scientific article; zbMATH DE number 5348354