Decidability: theorems and admissible rules

DOI10.3166/JANCL.18.293-308MaRDI QIDQ3643317zbMATH OpenOpenAlexFDO

Authors Vladimir Rybakov

Publication date 11 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.18.293-308

zbMATH Keywords

admissible rulesdecision algorithmsinference ruleslogical consequencelogics with universal modalitymulti-modal logicstemporal logics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 7324611
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Branching time logics with multiagent temporal accessibility relations
• Inference rules in multi-agents' temporal logics

Cites work

• 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
• Dynamic extensions of arrow logic
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Introducing Justification into Epistemic Logic
• Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
• Linear temporal logic with until and next, logical consecutions
• Logical consecutions in discrete linear temporal logic
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Mathematical modal logic: A view of its evolution
• Multi-agent dynamic logics with informational test
• Reasoning about common knowledge with infinitely many agents
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Using the Universal Modality: Gains and Questions

Cited in

(7)

• Branching time logics with multiagent temporal accessibility relations
• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Inference rules in multi-agents' temporal logics
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• Dynamic modalities
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements

This page was built for publication: Decidability: theorems and admissible rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3643317)