Logical consecutions in discrete linear temporal logic
From MaRDI portal
Publication:5486245
DOI10.2178/JSL/1129642119zbMATH Open1110.03010OpenAlexW2093974031MaRDI QIDQ5486245FDOQ5486245
Authors: Vladimir Rybakov 
Publication date: 6 September 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1129642119
Recommendations
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
- Linear temporal logic with until and next, logical consecutions
- scientific article; zbMATH DE number 6287569
- Decidable temporal and sequential relevant logics*
- Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous
- Intuitionistic linear temporal logics
- Temporal Logics
- A Paraconsistent Linear-time Temporal Logic
- Temporal reasoning over linear discrete time
- Defeasible linear temporal logic
Cites Work
- Many-dimensional modal logics: theory and applications
- Title not available (Why is that?)
- Unification in intuitionistic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bases of admissible rules of the logics S4 and Int
- Construction of an explicit basis for rules admissible in modal system S4
- Title not available (Why is that?)
- Derivability of admissible rules
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- A(nother) characterization of intuitionistic propositional logic
- Title not available (Why is that?)
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- On Finite Model Property for Admissible Rules
- Refined common knowledge logics or logics of common information
Cited In (35)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
- Branching time agents logics, satisfiability problem by rules in reduced form
- Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear temporal logic with until and next, logical consecutions
- Decidability: theorems and admissible rules
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- Title not available (Why is that?)
- Admissibility and unification in the modal logics related to S4.2
- Nesting until and since in linear temporal logic
- Inference in temporal next-time logic
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
- Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous
- Linear temporal logic LTL: basis for admissible rules
- Branching time logics with multiagent temporal accessibility relations
- Inference rules in multi-agents' temporal logics
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
- Many-valued multi-modal logics, satisfiability problem
- Multi-agent logics with dynamic accessibly relations, projective unifiers
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
- Temporal logic with accessibility temporal relations generated by time states themselves
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
- Canonical rules
- KD is nullary
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Temporal multi-valued logic with lost worlds in the past
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Formulas expressing totally nonstable truth values of formulas
- Multi-agent temporal logics, information, unification, and projectivity
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
This page was built for publication: Logical consecutions in discrete linear temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5486245)
