Logical consecutions in discrete linear temporal logic
From MaRDI portal
Publication:5486245
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
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3112788 (Why is no real title available?)
- scientific article; zbMATH DE number 3614740 (Why is no real title available?)
- scientific article; zbMATH DE number 1463088 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- A(nother) characterization of intuitionistic propositional logic
- Bases of admissible rules of the logics S4 and Int
- Construction of an explicit basis for rules admissible in modal system S4
- Derivability of admissible rules
- Many-dimensional modal logics: theory and applications
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- On Finite Model Property for Admissible Rules
- Refined common knowledge logics or logics of common information
- Unification in intuitionistic logic
Cited in
(35)- Branching time agents logics, satisfiability problem by rules in reduced form
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
- Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
- Linear temporal logic with until and next, logical consecutions
- scientific article; zbMATH DE number 1956573 (Why is no real title available?)
- scientific article; zbMATH DE number 2086407 (Why is no real title available?)
- Decidability: theorems and admissible rules
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- scientific article; zbMATH DE number 7324611 (Why is no real title available?)
- Nesting until and since in linear temporal logic
- Admissibility and unification in the modal logics related to S4.2
- Inference in temporal next-time logic
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- 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
- 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
- Inference rules in multi-agents' temporal logics
- 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
- Temporal multi-valued logic with lost worlds in the past
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- 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)
