Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2010.09.012
@@ Property / DOI: 10.1016/j.tcs.2010.09.012 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.09.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2082356974
@@ Property / OpenAlex ID: W2082356974 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+Q4817546
@@ Property / cites work: Q4817546 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic study of tense logics with linear time
+Normal rank
@@ Property / cites work @@
+Note on a paper in tense logic
@@ Property / cites work: Note on a paper in tense logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+Filtering unification and most general unifiers in modal logic
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical modal logic: A view of its evolution
@@ Property / cites work: Mathematical modal logic: A view of its evolution / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of admissible rules
@@ Property / cites work: Complexity of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional temporal logics: decidability and completeness
+Normal rank
@@ Property / cites work @@
+All finitely axiomatizable tense logics of linear time flows are coNP-complete
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754162
@@ Property / cites work: Q2754162 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability of admissible rules
@@ Property / cites work: Derivability of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible and derivable rules in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Equations in free topoboolean algebra
@@ Property / cites work: Equations in free topoboolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Logical equations and admissible rules of inference with parameters in modal provability logics
+Normal rank
@@ Property / cites work @@
+Rules of inference with parameters for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+On Finite Model Property for Admissible Rules
@@ Property / cites work: On Finite Model Property for Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of an Explicit Basis for Rules Admissible in Modal System S4
+Normal rank
@@ Property / cites work @@
+Logical consecutions in discrete linear temporal logic
+Normal rank
@@ Property / cites work @@
+Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
+Normal rank
@@ Property / cites work @@
+Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
+Normal rank
@@ Property / cites work @@
+Q3647278
@@ Property / cites work: Q3647278 / rank @@
+Normal rank
@@ Property / 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
+Normal rank
@@ Property / cites work @@
+Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the unification and admissibility problems for modal and description logics
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2010.09.012
@@ Property / DOI: 10.1016/J.TCS.2010.09.012 / rank @@
+Normal rank